Law of total expectation - Wikipedia