 Dual negation and dependence logic:  For any two dependence logic formulas \(\phi\) and \(\psi\) such that \(\phi \land \psi\) is not satisfiable, there exists a dependence logic formula \(\theta\) such that 