Essentially this is an attempt to get past the recursion. The key issue is that one can't say "X would cooperate iff (Y cooperates if X cooperates)" because one needs to talk about provability of cooperation.