User blog comment:MachineGunSuper/Updated Exploding Fast Growing-Hierarchy/@comment-34812936-20180228070920

Why do we need separated rule for ₰1(n)? And what's being iterated here?