The example above is a situation where there is mutual knowledge of the choices of the players. Indeed, it is not hard to see that in any type space for a 2-player game \(G\), if \((s,t)\) is a state where there is mutual knowledge that player \(i\) is choosing \(s_i\) and the players are rational, then, \(s\) constitutes a (pure-strategy) Nash Equilibrium. There is a more general theorem concerning mixed strategy equilibrium. Recall that a conjecture for player \(i\) is a probability measure over the strategy choices of her opponents.