Vladimir_Nesov comments on Open Thread September, Part 3