 Thus, nothing in general can be said about the dual negation of \(\phi\) except that it is equivalent to some dependence logic expression which is not satisfied by any team which satisfies \(\phi\). Since, as already mentioned, the law of the excluded middle fails in dependence logic, this is not a very informative property; in particular, it is possible to find in dependence logic (with dual negation) equivalent expressions with non-equivalent negations, like for example \(x \not = x \land y \not = y\) and \(\lnot\eqord(x,y)\).