Vladimir_Nesov comments on Open Thread for February 3 − 10