Vladimir_Nesov comments on Is LessWrong dead without Cox’s theorem?