本条目展示Catching函数在EBO到JO之间的过程。以下左为FGH,右为SGH。均为MOCF
.f3(fψ(ψI(0))(n))∼ψ(ψI(0)+1)fωn(fψ(ψI(0))(n))∼ψ(ψI(0)+Ωω)fψ(0)n(fψ(ψI(0))(n))∼ψ(ψI(0)+ψ1(Ω))fψ(Ωω)n(fψ(ψI(0))(n))∼ψ(ψI(0)+ψ1(ΩΩ))fψ(ΩΩω)n(fψ(ψI(0))(n))∼ψ(ψI(0)+ψ1(ΩΩΩ))fψ(ψI(0))[n](fψ(ψI(0))(n))∼ψ(ψI(0)+ψ1(ψI(0)))fψ(ψI(0)[n]+1)(fψ(ψI(0))(n))∼ψ(ψI(0)+ψ1(ψI(0)+1))fψ(ψI(0)[n]+Ω)[n](fψ(ψI(0))(n))∼ψ(ψI(0)+Ω2)fψ(ψI(0)[n]+Ω)n(fψ(ψI(0))(n))∼ψ(ψI(0)+Ω2×Ω)fψ(ψI(0)[n]+Ω2)n(fψ(ψI(0))(n))∼ψ(ψI(0)+Ω3×Ω)fψ(ψI(0)[n]+Ωω)[n](fψ(ψI(0))(n))∼ψ(ψI(0)+Ωω)fψ(ψI(0)[n]+Ωω)n(fψ(ψI(0))(n))∼ψ(ψI(0)+ΩΩ)fψ(ψI(0)[n]+ΩΩω)n(fψ(ψI(0))(n))∼ψ(ψI(0)+ΩΩΩ)fψ(ψI(0)[n]×2)(fψ(ψI(0))(n))∼ψ(ψI(0)×2)fψ(ψI(0)[n]2)(fψ(ψI(0))(n))∼ψ(ψI(0)2)fψ(ψI(0)[n]ψI(0)[n])(fψ(ψI(0))(n))∼ψ(ψI(0)ψI(0))fψ(ψΩψI(0)[n−1]+1(0))(fψ(ψI(0))(n))∼ψ(ψΩψI(0)+1(0))fψ(ΩψI(0)[n−1]+1)(fψ(ψI(0))(n))∼ψ(ΩψI(0)+1)fψ(ΩψI(0)[n−1]+ω)n(fψ(ψI(0))(n))∼ψ(ΩψI(0)+Ω)fψ(ΩψI(0)[n−1]+Ωω)n(fψ(ψI(0))(n))∼ψ(ΩψI(0)+ΩΩ)fψ(ψI(0)[n+1])(fψ(ψI(0))(n))∼ψ(ΩψI(0)×2)fψ(ΩψI(0)[n]+1)(fψ(ψI(0))(n))∼ψ(ΩψI(0)×2+1)fψ(ΩψI(0)[n]×2)(fψ(ψI(0))(n))∼ψ(ΩψI(0)×3)fψ(ΩψI(0)[n]×ω)n(fψ(ψI(0))(n))∼ψ(ΩψI(0)×Ω)fψ(ΩψI(0)[n]2)(fψ(ψI(0))(n))∼ψ(ΩψI(0)2)fψ(ΩΩψI(0)[n]+1)(fψ(ψI(0))(n))∼ψ(ΩΩψI(0)+1)fψ(ψI(0)[n+2])(fψ(ψI(0))(n))∼ψ(ΩΩψI(0)×2)fψ(ψI(0)[n×2])(fψ(ψI(0))(n))∼ψ(ψI(1))fψ(ψI(0)[n×2+1])(fψ(ψI(0))(n))∼ψ(ΩψI(1)×2)fψ(ψI(0)[n×3])(fψ(ψI(0))(n))∼ψ(ψI(2))fψ(ψI(0)[n2])(fψ(ψI(0))(n))∼ψ(ψI(ω))fψ(ψI(0))2(n)∼ψ(ψI(ψ(ψI(0))))fψ(ψI(0))3(n)∼ψ(ψI(ψ(ψI(ψ(ψI(0))))))fψ(ψI(0))+1(n)∼ψ(ψI(Ω))fψ(ψI(0))+2(n)∼ψ(ψI(Ω)+ψΩ2(ψI(Ω))×Ω)fψ(ψI(0)+Ω)(n)∼ψ(ψI(Ω)+Ω2)fψ(ψI(0)×Ω)(n)∼ψ(ψI(Ω)×Ω2)fψ(ψI(0)2)+1(n)∼ψ(ψI(Ω)2)fψ(ψΩψI(0)+1(0))(n)∼ψ(ψΩψI(Ω)+1(0))fψ(ΩψI(0)+1)(n)∼ψ(ΩψI(Ω)+1)fψ(ΩΩψI(0)+1)(n)∼ψ(ΩΩψI(Ω)+1)fψ(ψI(1))(n)∼ψ(ψI(Ω+1))fψ(ψI(1)[n×2])(fψ(ψI(1))(n))∼ψ(ψI(Ω+2))fψ(ψI(1))2(n)∼ψ(ψI(Ω+ψ(ψI(Ω))))fψ(ψI(1))+1(n)∼ψ(ψI(Ω×2))fψ(ψI(2))(n)∼ψ(ψI(Ω×2+1))fψ(ψI(ω))(n)∼ψ(ψI(Ω×ω))fψ(ψI(ω))+1(n)∼ψ(ψI(Ω2))fψ(ψI(ω+1))+1(n)∼ψ(ψI(Ω2+Ω))fψ(ψI(ωω))+1(n)∼ψ(ψI(ΩΩ))fψ(ψI(ψ(0)))+1(n)∼ψ(ψI(ψΩ2(Ω)))fψ(ψI(ψ(ψI(0))))+1(n)∼ψ(ψI(ψΩ2(ψI(Ω))))fψ(ψI(Ω))(n)∼ψ(ψI(Ω2))fψ(ψI(Ω2))(n)∼ψ(ψI(Ω3))fψ(ψI(Ω3))(n)∼ψ(ψI(Ω4))fψ(ψI(Ωω))(n)∼ψ(ψI(Ωω))C(ω+1)=ψ(ψI(Ωω))