Vladimir_Nesov comments on arisAlexis’s Shortform