JGWeissman comments on Formalizing Newcomb’s