Relsqui comments on Formalizing Newcomb’s