We now look at the epistemic model described above in more detail. We will often use the following diagrammatic representation of the model to ease exposition. States are represented by nodes in a graph where there is a (undirected) edge between states \(w_i\) and \(w_j\) when \(w_i\) and \(w_j\) are in the same partition cell. We use a solid line labeled with \(A\) for Ann’s partition and a dashed line labeled with \(B\) for Bob’s partition (reflexive edges are not represented for simplicity). The event \(U=\{w_1,w_3\}\) representing the proposition “Ann decided to choose option \(u\)” is the shaded gray region: