User blog comment:Boboris02/MBOT/@comment-26388711-20161223080758

There is Rayo's Number. BIG FOOT. BIG NOOP. BIG (n-system theory). Then there is Rayo(n), FOOT(n), NOOP(n), MBOT(n), (n-system theory)(n), etc. I did see a pattern here.

I made my YETI function implementation based on Jonathan Bower's Oblivion. I bet your NOOP could be quite similar to my YETI or some derivation and composition of YETI.