• the instruction at computer c and index i = jump register instruction with addr: addr
• the PC at computer c and time t = i

then the PC at computer c and time (t + 1) = byte at ID: c, cell #addr at time t