 The set \(X\) consisting of the above five assignments satisfies the formula \(=(x_1\); \(x_3)\): the value of \(x_3\) depends only on the value of \(x_1\). As is readily observed, any two assignments in \(X\) which assign the same value to \(x_1\) assign also the same value to \(x_3\). The interesting novelty of \(\mathbf{DL}\) is that claims about variable dependencies are made at the atomic level. Quantifiers of \(\mathbf{IFL}\) and those of slash logic with their independence indications easily lead to somewhat messy formulas, whereas \(\mathbf{DL}\) looks exactly like \(\mathbf{FO}\), apart from its greater flexibility in forms of atomic formulas.