Vladimir_Nesov comments on Welcome to Less Wrong!