 We arrive at a related problem when we combine a reliance on the instances of some version of (ES) with Quine’s view about the functioning and utility of the truth predicate. He (1992, 81) considers the purpose of (A) to be to express a generalization over sentences like the following: