 Essential and numerical sameness and difference apply directly to things in the world; they are extensional forms of identity. By contrast, sameness and difference in definition is roughly analogous to modern theories of the identity of properties. Abelard holds that things are the same in definition when what it is to be one requires that it be the other, and conversely; otherwise they differ in definition.