MalcolmMcLeod comments on A Disciplined Way to Avoid Wireheading