consists of the geographic name plus either "Formation" or a descriptive name. Examples include the Morrison Formation, named for the town of Morrison, Colorado, and the Kaibab Limestone, named after the Kaibab Plateau of Arizona. The names must not duplicate previous formation names, so, for example, a newly designated formation could not be named the Kaibab Formation, since the Kaibab Limestone is already established as a formation name. The first use of a name has precedence over all others, as does the first name applied to a particular formation. As with other stratigraphic units, the formal designation of a formation includes a stratotype which is usually a type section. A type section is ideally a good exposure of the formation that shows its entire thickness. If the formation is nowhere entirely exposed, or if it shows considerably lateral variation, additional reference sections may be defined. Long-established formations dating to before the modern codification of stratigraphy, or which lack tabular form (such as volcanic formations), may substitute a type locality for a type section as their stratotype. The geologist defining the formation is expected to describe the stratotype in sufficient detail that other geologists can unequivocally recognize the formation. Although formations should not be defined by any criteria other than primary lithology, it is often useful to define biostratigraphic units on paleontological criteria, chronostratigraphic units on the age of the rocks, and chemostratigraphic units on geochemical criteria, and these are included in stratigraphic codes. Usefulness of formations The concept of formally defined layers or strata is central to the geologic discipline of stratigraphy, and the formation is the fundamental unit of stratigraphy. Formations may be combined into groups of strata or divided into members. Members differ from formations in that they need not be mappable at the same scale as formations, though they must be lithologically distinctive where present. The definition and recognition of formations allow geologists to correlate geologic strata across wide distances between outcrops and exposures of rock strata. Formations were at first described as the essential geologic time markers, based on their relative ages and the law of superposition. The divisions of the geological time scale were described and put in chronological order by the geologists and stratigraphers of the 18th and 19th centuries. Geologic formations can be usefully defined for sedimentary rock layers, low-grade metamorphic rocks, and volcanic rocks. Intrusive igneous rocks and highly metamorphosed rocks are