 So far, we assumed that all dependence logic expressions are in negation normal form, and that dependence atoms are never negated. Adding an explicit negation operator to the language of dependence logic, on the other hand, is somewhat problematic, owing to the fact that existential second order logic is not closed under negation. Indeed, the “obvious” negation rule 