Vladimir_Nesov comments on Arbital has been imported to LessWrong