Davidmanheim comments on Goodhart Taxonomy

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