Aumann's 1995 formalization demonstrates that mutual knowledge of rationality in extensive-form game...