linearity_of_expectation