Paper: Take Goodhart Seriously: Principled Limit on General-Purpose AI Optimization — LessWrong