 The model-theoretic interpretation of the language of quantificational logic relied on the Tarskian definition of satisfaction in a model by an assignment of values to the variables. But the assignment of an object to a variable is never dependent on the availability of a term, \(t\), for the object in the language for which one defines truth in a model. Indeed, an existentially quantified formula \(\exists x A\) may well be true in a model even if no atomic formula of the form \(A(t/y)\) is true in the model.