Law_of_iterated_expectation loading ...