Water supply networkA water supply network or water supply system is a system of engineered hydrologic and hydraulic components that provide water supply. A water supply system typically includes the following: A drainage basin (see water purification – sources of drinking water) A raw water collection point (above or below ground) where the water accumulates, such as a lake, a river, or groundwater from an underground aquifer. Raw water may be transferred using uncovered ground-level aqueducts, covered tunnels, or underground water pipes to water purification facilities.
Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
Holy waterHoly water is water that has been blessed by a member of the clergy or a religious figure, or derived from a well or spring considered holy. The use for cleansing prior to a baptism and spiritual cleansing is common in several religions, from Christianity to Sikhism. The use of holy water as a sacramental for protection against evil is common among Lutherans, Anglicans, Roman Catholics, and Eastern Christians.
