Alexei comments on johnswentworth’s Shortform