Vladimir_Nesov comments on Formalizing Newcomb’s

[Vladimir_Nesov]

Yeah, that was awkwardly worded, I was only referring to Newcomb.