cousin_it comments on Average utilitarianism must be correct?