Classifying specification problems as variants of Goodhart's Law — AI Alignment Forum