Rohin Shah comments on Defining AI wireheading