User blog comment:Mh314159/new YIP notation/@comment-39585023-20190706235552

Unless I have made a mistake, I have made an unpleasant discovery while recursing [1]

m = [0] = 1

[1] = {1}11(1)

{1}1(1)

{1}0(2)

{0}11(2)

{0}1(2)

{0}0a(2)

a = {0}1(1)

a = {0}0(2)

a = [1]

and does not terminate

And therefore nothing that follows is valid. Any fixes?