Kevin comments on Formalizing Newcomb’s