NancyLebovitz comments on A definition of wireheading