Vladimir_Nesov comments on Open Thread September 2018