Liron comments on Re-formalizing PD

[Liron]

A program can’t be “clever” if it is indistinguishable from a permanent defector to other programs.