User blog comment:KthulhuHimself/Plexation, TaN, and such/@comment-26428969-20151014153656

do you know that if you directly make rules for nests of any size (like ]2{2{2{2{...}2}2}2}2[), you will directly reach epsilon-zero (for example with something like f(n) = ]n{n{n{...{n}...}n}n}n[ with n nestings)