Disquotationalists are able to explain the existence and usefulness of the truth predicate in such contexts of generalization as "John believes everything that Mary says" by asserting, with Quine, that we cannot dispense with the truth predicate in these contexts because the convenient expression of such generalization is precisely the role of the truth predicate in language. In the case of "John believes everything that Mary says", if we try to capture the content of John's beliefs, we would need to form an infinite conjunction such as the following:
