 Finally, we need to define the truth of a dependence logic sentence with respect to a model. Since a sentence has no free variables, by the locality principle we have at once that either all nonempty teams satisfy it or no nonempty team satisfies it. This is analogous to the case of Tarski’s semantics, in which a sentence is either satisfied by all variable assignments or by none of them. Thus, we can define truth in the usual way: