ChristianKl comments on Steelmanning Inefficiency