Kaj_Sotala comments on Steelmanning Inefficiency