steven0461 comments on Average utilitarianism must be correct?