Specifially, the most basic and obvious fact of behavior in these competitive games is: if you can prove that the opponent cooperates if and only if you do, then you should cooperate.

The point is that this "fact" is intuitive but wrong as stated, for reasons of Löbian self-reference.