cousin_it comments on Formalizing Newcomb’s