User blog comment:Wythagoras/Proof that S(n+1)-S(n) is unbounded/@comment-1605058-20141130172405

Nice, so you are, in essence, simulating binary counter on non-uniform tape! Very interesting!