Vladimir_Nesov comments on Phib’s Shortform