User blog comment:89Pepsi Polka/the hyper-square hierarchy/@comment-31663462-20180218001716

I like how $$\gamma_n(C)$$ is defined for natural $$n$$ and you go ahead and through an infinite ordinal in for $$n$$ anyways becuz that's well-defined.