(n.) See Petrology.