Vladimir_Nesov comments on rhollerith_dot_com’s Shortform