wedrifid comments on Formalizing Newcomb’s