Ch 7: Proof and Conditional Probability