 Rubinstein shows by induction that if the number of automatically exchanged confirmation messages is finite, then \(A\) is the only choice that maximizes expected utility for each agent, given what she knows about what they both know.