= digri = [[ListTagged(digri)]]