Category:Total Probability Theorem