Vladimir_Nesov's Shortform — LessWrong