* Enforces the fundamental rule that you are not allowed to use any results that you have not proved yet, & consequently starts with an axiomatic system & builds from there * Introduces proof methods in a separate section of the Logic chapter to facilitate the development of proof writing skills.