gwern comments on Formalizing Newcomb’s