 The truly noteworthy feature of the propositions Kant had called analytic, that is, is the invariance of their truth-value under an entire class of transformations. It is this feature and no other that Bolzano singles out with his definition of analyticity.