Qiaochu_Yuan comments on Open Thread, June 16-30, 2013