if the following are true:

• byte at ID: c, cell #49 at time t = 1
• byte at ID: c, cell #48 at time t = 1
• not (index = (byte at ID: c, cell #47 at time t) + (disk bytes read at time t))

then disk byte at index: index time: (t + 1) = disk byte at index: index time: t