Stuart_Armstrong comments on Steelmanning Inefficiency