Samuel Rødal comments on Specification gaming examples in AI