basil.halperin comments on Vladimir_Nesov’s Shortform