ryan_greenblatt comments on lukehmiles’s Shortform