Annoyance comments on Formalizing Newcomb’s