Nick_Tarleton comments on Average utilitarianism must be correct?