Linearity of Expected Value