Vladimir_Nesov comments on RobertM’s Shortform