Toby_Ord comments on Formalizing Newcomb’s