Vladimir_Nesov comments on What I’ve learned from Less Wrong