David_Gerard comments on Formalizing Newcomb’s