Law of Iterated Expectations