brazil84 comments on A definition of wireheading