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

Then you see why C(1,1) is not valid.