if the following are true:

• the instruction at computer c and index i = a BEQ instruction that compares left and right with immediate imm
• the PC at computer c and time t = i
• byte at ID: c, cell #left at time t = byte at ID: c, cell #right at time t

then the PC at computer c and time (t + 1) = (i + 1) + imm