 It is worth pointing out that, as we can already see by these rules, the law of the excluded middle does not hold in dependence logic (just as it does not hold in independence friendly logic): for example, if a team \(X\) contains both assignments \(s\) with \(s(x) = s(y)\) and assignments \(s'\) with \(s'(x) \not = s'(y)\) then \(X \not \models x=y\) and \(X \not \models x\not = y\). In this section, in any case, we will present the language of dependence logic without an explicit negation operator; then, later, we will discuss the consequences of adding it to its language.