- Woodbury, Minnesota (Wikipedia)
Woodbury is a city in Washington County, Minnesota, United States, eight miles (13 km) east of Saint Paul along Interstate 94. It is part of the Minneapolis–Saint Paul metropolitan area. The population was 75,102 at the 2020 census, making it Minnesota’s eighth most populous city.
- Universal quantification (Wikipedia)
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.