Law_of_total_expectation loading ...