User blog comment:PsiCubed2/Help Me Understand Ordinals Beyond the BHO/@comment-27516045-20170220175334/@comment-30754445-20170220183901

I'm fine up to psi(psi_1(W_2))

After that, I'm in trouble. Why would psi(psi_1(psi_2(0))) be equal to psi(psi_2(0))?