Qiaochu_Yuan comments on In Defense of the Obvious