Vladimir_Nesov comments on Viliam’s Shortform