Vladimir_Nesov comments on Sinclair Chen’s Shortform