• the instruction at computer c and index i = subtract immediate instruction with dst: dst src: src and immediate: 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 #src at time t) - imm