Vladimir_Nesov comments on A Challenge for LessWrong