Qiaochu_Yuan comments on Math is Subjunctively Objective