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

C(psi_I(0)) = psi(X(Q_Q...Q_Q))