User blog comment:MachineGunSuper/The Hierarchy Replacement Function/@comment-11227630-20171224020855/@comment-80.98.179.160-20171224181404

But with an even better definition of ordinals, we get even Rathjen's ordinal of FGH or even beyond that!!!!!!!