Reading material

Pages 113-114.

Additional material

I will try to post some additional material about the proof rules shortly.

Question

Prove { x = a + 2 and y = 7 } y = x - 1; x = x + 1 { x = a - 5 } using the proof rules.