§ Counter-intuitive linearity of expectation [TODO ]