Category:Total Expectation Theorem