Deductive Proof & Proof by Exhaustion