• 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
• not (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