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

C(W^W^W) = psi(X(W))

C(e(W+1)) = psi(X(e(W+1)))

C(theta_1(W_2)) = psi(X(theta_1(W_2)))

C(C_1(0)) = psi(X(C_1(0)))

C(W_2) = psi(X(W_2))

C(X(Q)) = psi(X(Q)) = CC(0)

Can you find CC(1) ordinal?