corrigible-commenter comments on Specification gaming examples in AI