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

If C(1,1) is not valid then what about things like $$C(\Omega,\Omega)=\Omega 2$$