User blog comment:Wythagoras/Catching function in normal ordinals/@comment-11227630-20131113054629/@comment-10429372-20131113154249

I thought C(ε(0)ω+1)=ψ(ψI(ε(IΩω))) because I made a mistake.