Vladimir_Nesov comments on johnswentworth’s Shortform