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

$$C(\Omega_2,C(b,0))=C(\Omega_2,C(C(\Omega_2,C(\Omega_22,0)),0))$$ is not a valid term.