Dagon comments on Defining AI wireheading