if the following are true:

• instruction #14 is load dst=3 addr=1 imm=1
• the PC at time 8 = 14

then the PC at time 9 = 15

Start from the conclusion and work back up the proof. Click the arrow to show the parents.