ryan_greenblatt comments on Archimedes’s Shortform