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

C(e(W+1)+C(e(W+1))w) = psi(psi_{Xi(I,0)}(0))

C(e(W+1)+W) = psi(psi_{Xi(I_w,0)}(0))

C(e(W+1)+W*w) = psi(psi_{Xi(I(1,0),0)}(0))

C(e(W+1)+W^w) = psi(psi_{Xi(I(w,0),0)}(0))

C(e(W+1)*2) = psi(psi_{Xi(Xi(w,0),0)}(0))

C(e(W+1)*w) = psi(psi_{Xi(1,0,0)}(0))

C(e(W+1)*w+C(e(W+1)*w)w) = psi(psi_{Xi(1,0,0)}(I))

CC(0) ?= W(W_w{2})