pjeby comments on Formalizing Newcomb’s