Vladimir_Nesov comments on Yitz’s Shortform