Nicolas Micaux comments on Steelmanning Inefficiency