Davidmanheim comments on Goodhart Taxonomy

[Davidmanheim]

Note to add: We did formalize this more, and it has been available on Arxiv for quite a while.