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

Also, C(1,1) is not a valid term