abigailgem comments on Formalizing Newcomb’s