Shmi comments on Why does AGI need a utility function?