if the following are true:

• byte at ID: c, cell #27 at time t = 1
• cursor x at time t = 39
• cursor y at time t < 11

then cursor y at time (t + 1) = (cursor y at time t) + 1