Analytic propositions in Bolzano's own framework are precisely those where all variants with non-emp...