Lithology sense of displacement across the zone. In igneous rocks, small-scale structures are mostly observed in lavas such as pahoehoe versus ʻAʻā basaltic flows, and pillows showing eruption within a body of water or beneath ice. Unconsolidated surficial materials may also be given a lithology. This is defined by grain size and composition, and is often attached to an interpretation of how the unit formed. Surficial lithologies can be given to lacustrine, coastal, fluvial, aeolian, glacial, and recent volcanic deposits, among others. Examples of surficial lithology classifications used by the US Geological Survey are, "Glacial Till, Loamy", "Saline Lake Sediment", and
Substance theory bundle theorist objects to the notion of a thing with no properties, claiming that such a thing is inconceivable and citing John Locke, who described a substance as "a something, I know not what." To the bundle theorist, as soon as one has any notion of a substance in mind, a property accompanies that notion. The indiscernibility argument from the substance theorist targets those bundle theorists who are also metaphysical realists. Metaphysical realism uses the identity of "universals" to compare and identify particulars. Substance theorists say that bundle theory is incompatible with metaphysical realism due to the identity of indiscernibles: