ryan_greenblatt comments on evhub’s Shortform