User blog comment:Ikosarakt1/Extensions of Catching function/@comment-5029411-20131120124400

My Extension:

C(C_1(0)) = C(Omega_w)

C(C_1(n)) = C(Omega...Omega_w) (n+1 Omega's)

C(C_1(w)) = C(psi_I(0))

C(C_1(w^w)) = C(psi(I^w))

C(C_1(e(0))) = C(psi(e(I+1)))

C(C_1(W)) = C(C_1(C(C_1(...))))