if the following are true:

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

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