byrnema comments on Formalizing Newcomb’s