brianm comments on Formalizing Newcomb’s