Vladimir_Nesov comments on adamzerner’s Shortform