bigjeff5 comments on The Importance of Goodhart’s Law