Total Probability Theorem & Bayes Rule (A&T: 2.3)