The utilities of the players are not important for us at this stage. To construct an epistemic model for this game, we need first to specify what are the states of nature we will consider. For simplicity, take them to be the set of strategy profiles \(S=\{(u,l),(d,l),(u,r),(d,l)\}\). The set of agents is of course \(\Agt=\{A,B\}\). What will be the set of states \(W\)? We start by assuming \(W=S\), so there is exactly one possible world corresponding to each state of nature. This needs not be so, but here this will help to illustrate our point.