if the following are true:

• value of cell 27 at time t = 1
• value of cell (10 + (number of characters read at t)) at time t = 13
• cursor y at time t = 11

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