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

I think C(W_2) is psi(W(W_w{2}))