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

Ω_(ψ_I(0)2) is actually C(Ω_2+a,a)