Vika comments on Specification gaming examples in AI