The Law of Iterated Expectation