Law of iterated expectation