Vladimir_Nesov comments on Mitchell_Porter’s Shortform