There is evidence for all three theories. Most of the gully alcove heads occur at the same level, just as one would expect of an aquifer. Various measurements and calculations show that liquid water could exist in aquifers at the usual depths where gullies begin. One variation of this model is that rising hot magma could have melted ice in the ground and caused water to flow in aquifers. Aquifers are layers that allow water to flow. They may consist of porous sandstone. The aquifer layer would be perched on top of another layer that prevents water from going down (in geological terms it would be called impermeable). Because water in an aquifer is prevented from going down, the only direction the trapped water can flow is horizontally. Eventually, water could flow out onto the surface when the aquifer reaches a break—like a crater wall. The resulting flow of water could erode the wall to create gullies. Aquifers are quite common on Earth. A good example is "Weeping Rock" in Zion National Park Utah.