Danneau comments on Formalizing Newcomb’s