  It is easy to verify that, in each of the above cases, replacing one  coextensional term, predicate, or sentence for another has no effect  on the truth values rendered by the above clauses, thus guaranteeing  the validity of the classical substitutivity principles and, hence,  the extensionality of first-order logic with a Tarskian semantics. 