- In mathematical logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as “given any”, “for all”, or “for any”. It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.
- Lock and Dam No. 7 (Wikipedia)
Lock and Dam No. 7 is a lock and dam located on the Upper Mississippi River at river mile 702.5 near the cities of La Crescent, Minnesota and Onalaska, Wisconsin. It forms pool 7 and Lake Onalaska. The facility was constructed in the mid-1930s and placed in operation on April, 1937. It underwent major rehabilitation from 1989 through 2002. The lock and dam are owned and operated by the St. Paul District of the United States Army Corps of Engineers-Mississippi Valley Division.