Vladimir_Nesov comments on Jemist’s Shortform