Vladimir_Nesov comments on Formalizing Newcomb’s