Vladimir_Nesov comments on Chris_Leong’s Shortform