User blog comment:MachineGunSuper/The Hierarchy Replacement Function/@comment-32783837-20171223145318/@comment-32783837-20171223234233

I know this would "get stuck" at ε0, given normal interpretations.

However, this is because the ordinal system doesn't recognize tetration as an operator, and calls  ε0 a fixed point. Here, the Veblen hierarchy/fixed point argument is thrown away entirely.