Qiaochu_Yuan comments on [missing post]

[Qiaochu_Yuan]

(This comment should be on another post; I don’t know how it got here.)