Adekan Chapter 28.2 - The Form of Proof (Middle)