Proof by Deduction & Exhaustion