Linearity of expectation