 The locality principle, together with the conservativity principle mentioned at the beginning of this section, constitutes an important “sanity condition” that any variant and extension of dependence logic should satisfy. The same cannot be said about downwards closure and the empty set property, which—as we will see—are violated by variants of dependence logic.