Qiaochu_Yuan comments on Destructive mathematics