 He provided as an example of an analytic judgment, “All bodies are extended”: in thinking of a body we can’t help but also think of it being extended in space; that would seem to be just part of what is meant by “body.” He contrasted this with “All bodies are heavy,” where the predicate (“is heavy”) “is something entirely different from that which I think in the mere concept of body in general” (B11), and we must put together, or “synthesize,” the different concepts, body and heavy (sometimes such concepts are called “ampliative,” “amplifying” a concept beyond what is “contained” in it).