Proof Methods: Deduction & Exhaustion