Archimedes comments on johnswentworth’s Shortform