Principled Satisficing To Avoid Goodhart — LessWrong