JustisMills comments on A Disciplined Way to Avoid Wireheading