Vladimir_Nesov comments on Linch’s Shortform