- Statements with “for all” and “there exist” in them are called quantified statements. “For all”, written with the symbol ∀, is called the Universal Quantifier and and “There Exists” , written with the symbol ∃, is called the Existential Quantifier. A quantifier turns a predicate such as “x is greater than 7” into a statement that can be true for false. For instance, “For all x, x is greater than 7” is false as 2 is not greater than 7, but “There Exists an x such that x is greater than 7” is true as 8 is greater than 7.
- Lake Wenatchee State Park (Wikipedia)
Lake Wenatchee State Park is a public recreation area located at the eastern end of Lake Wenatchee, a glacier- and snowmelt-fed lake in the Wenatchee National Forest on the eastern slopes of the Cascades Mountain Range in the state of Washington. The state park covers 492 acres (199 ha) split into two parts—the north shore park and the south shore park—separated by the Wenatchee River. The park is managed by the Washington State Parks and Recreation Commission.