avturchin comments on avturchin’s Shortform