Stuart_Armstrong comments on Defining AI wireheading