jimmy comments on The reverse Goodhart problem