Vladimir_Nesov comments on Alexander’s Shortform