Eliezer Yudkowsky comments on Average utilitarianism must be correct?