smoofra comments on Formalizing Newcomb’s