To be sure, Kant has declared the proposition to be synthetic, because the same is exhibited on the one side in the form of a plurality, and on the other in the form of a unity, But, if the analytic proposition is to mean more than just the totally abstract identity and tautology of and is to contain any progression within it at all, then there must be present some sort of distinction,