Thus aocording to Quine, our linguistic conventions must either include the infinite number of truths of the form ‘(Sentence 1) and (Sentence 2) implies (Sentence 2)’,or this single, general convention, in which case we need logic in the metalanguage to derive all its instances.