Vladimir_Nesov comments on Johannes C. Mayer’s Shortform