Vladimir_Nesov comments on romeostevensit’s Shortform