A quarry is a large depression where stone has been mined from the earth, or is still being mined. A quarry is generally created by human activity, although glaciers are said to be “quarrying” when they pluck off and carry along pieces of jointed rock. The name is also given to rock formations capable of being quarried, or to formations that in their natural state resemble a dug-out quarry. Occasionally diggers extract so much rock from the Earth in a human-made quarry that an underground spring is tapped. The space ﬁlls with water, forming a swimming hole of unsurpassed beauty, freshness, and depth.