Thomas comments on Why No Wireheading?