Logic & Proof: Compound Statements