martinkunev comments on Clarifying wireheading terminology