- Little Diomede Island or Yesterday Island (Inupiaq: Iŋaliq, formerly known as Krusenstern Island, Russian: остров Крузенштерна, romanized: ostrov Kruzenshterna) is an inhabited island of Alaska. It is the smaller of the two Diomede Islands located in the Bering Strait between the Alaskan mainland and Siberia. The island has one town, also called Diomede.
- 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.