peterr comments on Vladimir_Nesov’s Shortform