Qiaochu_Yuan comments on Against utility functions