Vladimir_Nesov comments on koanchuk’s Shortform