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