Gavin comments on Steelmanning Inefficiency