Vladimir_Nesov comments on Daniel Tan’s Shortform