User blog comment:Boboris02/Analysis of Taranovsky's Ordinal Notation with "standard OCFs."/@comment-25601061-20180113214110

Your analysis is wrong. ψ(Ωε ψ I(0)+1 ) = C(C(Ω22+C(C(Ω2,X),X),0),0), where X = C(Ω2+C(Ω22,0),0)