 Note that this criterion employs a functional dependency between an introduced abstract object (in this case a truth value) and some other objects (sentences). More specifically, what is considered is the truth value of a sentence (or proposition, or the like). The criterion of identity for truth values is formulated then through the logical relation of equivalence holding between these other objects—sentences, propositions, or the like (with an explicit quantification over them).