PhilGoetz comments on Formalizing Newcomb’s