superads91 comments on We cannot directly choose an AGI’s utility function