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.