• the instruction at computer c and index i = a STORE instruction with src: src address: addr and immediate: imm
• the PC at computer c and time t = i
• not (other = (byte at ID: c, cell #addr at time t) + imm)

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