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

Again $$C(\Omega_2+C(\Omega_22,0),C(\Omega_22,0))$$ is not standard.