Aumann's (1995) proof presupposes that rationality is common knowledge even at counterfactual nodes,...