tom4everitt comments on Defining AI wireheading