ryan_greenblatt comments on Daniel Tan’s Shortform