if the following are true:- instruction #7 is
jumpr addr=2
- the PC at time 20 = 7
- value of cell 1 at time 20 = 123
jumpr addr=2
then value of cell 1 at time 21 = 123
Start from the conclusion and work back up the proof. Click the arrow to show the parents.