ryan_greenblatt comments on leogao’s Shortform