Aumann's original formalization of common knowledge of rationality in 'Agreeing to Disagree' (1976) ...