ryan_greenblatt comments on tlevin’s Shortform