 What about universal quantification? In which circumstances should a universally quantified expression \(\forall v \psi\) hold in a team? Again, we must recall the intuition according to which a team represents a set of possible states of things. If we wish to evaluate \(\forall v \psi\), with respect to which possible states of things should we evaluate \(\psi\)? The natural answer is that we should consider all states of things that differ from ones in \(X\) only with respect to the value of \(v\). This justifies the following rule: