Qiaochu_Yuan comments on [missing post]

[Qiaochu_Yuan]

(This is a comment that ended up on the wrong post again.)