User blog comment:Bubby3/Taranovsky's C 1st system introduction and rules./@comment-11227630-20180127153709/@comment-11227630-20180202000541

By your rule 2.2, we have such fundamental sequence that C(C(C(0,0),0)[n],0) = C(C(0,C(0,...C(0,C(0,0))...)),0) with n 0's, but this rule doesn't tell us what's C(C(C(0,0),0),0)[n].