Qiaochu_Yuan comments on Open Thread, May 1-14, 2013