 If a proposition is universally valid or universally contravalid with respect to \(i\), Bolzano says that it is analytic with respect to \(i\), otherwise, that it is synthetic with respect to i. If a proposition is analytic (or synthetic) with respect to at least one sequence \(i\), Bolzano calls it ‘analytic’ (or ‘synthetic’, respectively), without further qualification (WL II, 83–89, 331–338). Herewith Bolzano starts a new tradition of usage of the term ‘analytic’ as opposed to that from Kant up to Carnap and Quine: Whereas in this latter tradition the term ‘analytic’ includes exclusively true propositions, in Bolzano’s terminology also all universally contravalid propositions are subsumed under this term; and even a universally valid proposition could be false if it has an empty subject idea but all of its variants with non-empty subject ideas are true. (On this point, however, Bolzano is not always consistent.)