Eliezer Yudkowsky comments on Formalizing Newcomb’s