Wei Dai comments on Why No Wireheading?