Mark_Friedenbach comments on Steelmanning Inefficiency