Vladimir_Nesov comments on Mark Xu’s Shortform