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

C(1,1) is valid.