https://web.archive.org/web/*/http://faculty.washington.edu/jtyoung/fins.html- This work is an environmentally scaled sculpture created using the actual diving-plane fins from decommissioned United States Navy attack submarines built in the 1960s. The fins are arranged to simulate the dorsal fins of a large Orca whale pod or a school of salmon. This artwork represents the ultimate in recycling….“From Swords into Plowshares”.
- 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.