Gibbard's theorem is a restricted case where Goodhart's law is unavoidable
a Schelling point for those who seek one
