According to Kant's formulation of the distinction, in an analytic proposition the concept of the predicate is contained in the concept of the subject, and we can tell that the proposition is true by analysis. In a synthetic proposition, the concept of the predicated adds something new to the concept of the subject, and the truth or falsity of the proposition cannot be determined by analysis. There has been much dispute over the adequacy of this account, but there is general agreement that synthetic propositions tell us something about the world. Together with the metaphysical distinction between necessary and contingent propositions and the epistemological distinction between a priori and a posteriori propositions, this logical distinction sets the framework for much modern philosophy.