Average utilitarianism must be correct? — AI Alignment Forum