He perceived that not only the connexion of cause and effect, but all the propositions of arithmetic and geometry, are 'synthetic', ie not analytic: in all these propositions, no analysis of the subject will reveal the predicate.