Rohin Shah comments on Wireheading and discontinuity