johnswentworth comments on tlevin’s Shortform