thomblake comments on Formalizing Newcomb’s