CarlShulman comments on Average utilitarianism must be correct?