User blog comment:Wythagoras/Catching function in normal ordinals/@comment-5029411-20140119182502

C(C_1(W_2)+C(W_2)*w) = psi(psi_{chi(M_I)}(0))

C(C_1(W_2)+C(W_2)*e(0)) = psi(psi_{chi(M_I)}(e(I+1)))

C(C_1(W_2)+C(W_2)*gamma(0)) = psi(psi_{chi(M_I)}(psi_{W_{I+1}}(W_{I+1}^W_{I+1})))

C(C_1(W_2)+C(W_2)^w) = psi(psi_{chi(M_I)}(chi(M_I)))