Vladimir_Nesov comments on Tofly’s Shortform