Adekan Chapter 28.3 - The Form of Proof (Ending)