3.3 Conditional Statements & Proofs