Bolzano himself acknowledges that analytic propositions are a legitimate and non-trivial class, not ...