Law of iterated expectations