Vladimir_Nesov comments on zchuang’s Shortform