Paul Crowley comments on Formalizing Newcomb’s