So, each type \(t\in T_i\) is associated with a set of tuples consisting of types of the other players and a state of nature. For simplicity, suppose there are only two players, Ann and Bob. Intuitively, \((t',o')\in\lambda_{Ann}(t)\) means that Ann’s type \(t\) considers it possible that the outcome is \(o'\) and Bob is of type \(t'\). Since the players’ uncertainty is directed at the choices and types of the other players, the informational attitude captured by these models will certainly not satisfy the Truth axiom. In fact, qualitative type spaces can be viewed as simply a “re-packaging” of the relational models discussed above (cf. Zvesper 2010 for a discussion).