cousin_it comments on Formalizing Newcomb’s

[cousin_it]

I feel the same, but would have been dishonest to omit it. Even 4 sounds more likely to me than 3.