 Proposition 3.11 (Aumann 1987)  If each agent \(i \in N\) is \(\omega\)-Bayes rational at each possible world \(\omega \in \Omega\), then the agents are following an Aumann correlated equilibrium. If the CPA is satisfied, then the correlated equilibrium is objective.  Proof.