Vladimir_Nesov comments on A definition of wireheading