 Quantification enters the picture when we think about how to account for predication of truth when sentences display context dependence. In such an environment, it does not make good sense to predicate truth of sentences directly. Not all sentences will have the right kind of determinate semantic properties to be truth bearers; or, as we have been putting it, not all sentences will express propositions. But then, to say that a sentence \(S\) is true in context \(c\) is to say that there is a proposition \(p\) expressed by \(S\) in \(c\), and that proposition \(p\) is true.