adamShimi comments on Introduction to Reducing Goodhart