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

Why isn't psi(W_2) C(W_2+z(W+1),0)?