Ben Pace comments on Classifying specification problems as variants of Goodhart’s Law