if the following are true:

• value of cell 49 at time t = 1
• disk bytes read at time t = value of cell 46 at time t

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