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

That is equal to C(C(C(0,0),0),0),

and the pointer jumps to C(C(C(>0,0),0),0).

Because the pointer is at a 0 which is contained within another C, the fundamental sequence is C(C(0,0),0), C(C(0,C(0,0)),0), C(C(0,C(0,C(0,0))),0), etc, which is equal to C(n,0)