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

Psicubed: it turns out you were right about the possibility of me being wrong, please accept my sincere apology.

i asked deedlit about this and here is what he commented on it

 psi_1(psi_2(W_3)) is less than W_2, so psi(psi_1(psi_2(W_3)) will be less than or equal to psi(W_2), and therefore less than psi(W_3)