The proposition in probability theory known as the law of total expectation, the law of iterated expectations, Adam's law, the tower rule, and the smoothing theorem, among other names, states that if ... Wikipedia