Natural wireheadings: formal request. — LessWrong