c2 is (1[n] < n)
if
c
2 then