ryan_greenblatt comments on o3