User blog comment:Fejfo/bitstring lexographical notation/@comment-34422464-20190913142806/@comment-35470197-20190913145535

> Also this could easily surpass TON, since it works similar to how TON exploits how lenient n+1th system's standardness is compared to nth system, just here, the standardness is easier to understand. (if not, possibly when you make an extension with not only 2 digits but 3 or more digits)

Are you seriously understanding TON? Are you aware that this system (and also the set of standard expressions) heavily depends on the choice of a system of fundamental sequences? Then how could you honestly choose a system of fundamental sequences beyond the limit of TON, even though you have never succeeded in creating a notation up to \(\varepsilon_0\)?