Commit
PDFs of 4,5,6 3.1. Proof Strategies