if the following are true:

• byte at ID: c, cell #27 at time t = 1
• number of characters read at t = byte at ID: c, cell #26 at time t

then number of characters read at (t + 1) = 0