Qiaochu_Yuan comments on A definition of wireheading