Vladimir_Nesov comments on Thomas Larsen’s Shortform