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.
The point is that this “fact” is intuitive but wrong as stated, for reasons of Löbian self-reference.
I know that, as I tried to state in my question. This does not dispel my confusion.