Generally speaking, an object is said to "exemplify", "instantiate", "bear", "have" or "possess" a property if the property can be truly predicated of the object. The collection of objects that possess a property is called the "extension" of the property. Properties are said to "characterize" or "inhere in" objects that possess them. Followers of Alexius Meinong assert the existence of two kinds of predication: existent objects "exemplify" properties, while nonexistent objects are said to "exemplify", "satisfy", "immanently contain" or "be consubstantiated by" properties that are "actually" possessed and are said to "encode", "be determined by", "be consociated with" or "be constituted by" properties that are "merely" ascribed to objects. For example, since Pegasus is merely mythical, Pegasus encodes the property of being a horse, but Pegasus exemplifies the property of being a character of Greek mythology as well. Edward Jonathan Lowe even treated "instantiation", "characterization" and "exemplification" as three separate kinds of predication.