Contents of Checking Proofs
  1. Understanding Proofs
  2. Types of Proof Steps
  3. Steps with explanations
  4. Steps without explanations
  5. Compound Inferences