 More in general, teams can be understood as belief sets, representing the set of all states of the world (=assignments) that some agent believes possible. Then a team \(X\) will satisfy some formula \(\phi\) if and only if \(\phi\) holds when \(X\) is the set of all possible states; and in this case, we will write \(X \models \phi\) (or \(M, X \models \phi\) if the choice of the model \(M\) is not clear). In this section, we will examine the rules of team semantics and their interpretation in terms of this principle; then, in the next section, we will discuss how it also arises from the imperfect-information game-theoretic semantics for dependence logic.