 And it can be verified that the above definition satisfies the principle. The definition does have some consequences that do not accord with the ordinary notion. For example, the definition implies that an object \(x\) is a member of a member of the pair \(\langle x, y\rangle\), and this implication is no part of the ordinary notion. But the mismatch is not an objection to the explication. What is important for explication is not antecedent meaning but function. So long as the latter is preserved, the former can be let go. It is this feature of explication that led W. V. O. Quine (1960, §53) to extol its virtues and to uphold the definition of “ordered pair” as a philosophical paradigm.