Vladimir_Nesov comments on Max Harms’s Shortform