formido comments on Steelmanning Inefficiency