 for all models \(M\) which satisfy Peano’s axioms for natural numbers. This is not in contradiction with Tarski’s undefinability theorem, because dependence logic is not closed under contradictory negation.