 According to Kant’s original formulation, in analytic judgments the concept of the predicate is contained in the concept of the subject (1781 [1998]: A6–7).  (1),  that all bachelors are unmarried, provides a good illustration. On one view, being a bachelor is a complex concept that is composed of being unmarried as well as being an adult male. So the concept of a bachelor “contains” the concept of being unmarried. Hence, part of thinking of someone as a bachelor is thinking of him as unmarried. Compare this with the synthetic proposition  (7),  that all bachelors are untidy. The concept of being a bachelor is not partly composed of the concept of being untidy. Thinking of someone as untidy is not part of thinking of him as a bachelor. So being a bachelor does not “contain” being untidy. A more contemporary understanding holds that sentences are analytic just in case they can be converted into logical truths by replacing terms with terms that have equivalent meanings (Frege 1884 [1980]). The more contemporary understanding counts more propositions as analytic than Kant’s original formulation: for example, all logical truths will be counted as analytic, as well as a sentence such as “if there is blizzard, then there will be snow.”