if the following are true:

• the instruction at computer c and index i = a LOAD instruction with dst: dst addr: addr and imm: imm
• the PC at computer c and time t = i

then byte at ID: c, cell #dst at time (t + 1) = byte at ID: c, cell #((byte at ID: c, cell #addr at time t) + imm) at time t