 Bolzano appropriated Kant’s term analytic for propositions that are either universally valid or universally invalid relative to some specification of variable parts or other. This choice of terminology was based on his analysis of Kant’s examples. Consider, for instance, the proposition (Kant: judgement): [A right-angled triangle is a triangle]. Kant had declared such judgments analytic because analysis, i.e., decomposition, of the subject concept would reveal the presence of the predicate. For Bolzano, this containment relation was just a distraction: what was truly interesting about this proposition, he thought, was that we could substitute whatever other ideas we like for [triangle] and [right-angled] without changing the truth-value (subject to the proviso about objectuality). That is, as Quine would later put it, certain parts of such propositions occur vacuously: 