• the instruction at computer c and index i = a jump instruction with to: jump_to
• the PC at computer c and time t = i

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