In particular, these events are true at state \(w_1\) where Ann has decided to choose \(u\) (i.e., \(w_1\in U\)). The first event makes sense given the assumptions about the available information at the ex interim stage: each player knows their own choice but not the other players’ choices. The second event is a concrete example of another assumption about the available information: Bob has the information that Ann has, in fact, made some choice. But what warrants Ann to conclude that Bob does not know she has chosen \(u\) (the third event)? This is a much more significant statement about what Ann knows about what Bob expects her to do. Indeed, in certain contexts, Ann may have very good reasons to think it is possible that Bob actually knows she will choose \(u\). We can find an ex interim epistemic model where this event (\(-K_A(-K_B(U))\)) is true at \(w_1\), but this requires adding a new possible world: