Theorem 4.1 Suppose that \(G\) is a strategic game and \(\T\) is any type space for \(G\). If \((s,t)\) is a state in \(\T\) in which all the players are rational and there is common belief of rationality—formally, for each \(i\),