Note that this simply reinterprets the game matrix in Figure 1 as an epistemic model where the rows are Ann’s information sets and the columns are Bob’s information sets. Unless otherwise stated, we will always assume that our epistemic models are ex interim. The class of ex interim epistemic models is very rich with models describing the (hard) information the agents have about their own choices, the (possible) choices of the other players and higher-order (hard) information (e.g., “Ann knows that Bob knows that…”) about these decisions.