This is a much later part. Only 2~3 more ordinal levels will you reach the end of BAN!
Tip: {10,4[1\_ 1\2 2]2} = {10,10[1\_ [1\_[1\_1[1\_ 1\2 2] 2 2 2 2]2}
