Olympic medal Altius, Fortius" features on four Winter Games medals but does not appear on any Summer Games medal. For three events in a row, hosts of the Winter Games included different materials in the medals: glass (1992), sparagmite (1994), and lacquer (1998). It was not until the 2008 Summer Olympics in Beijing, China that a Summer Olympic host chose to use something different, in this case jade. While every Summer Olympic medal except for the 1900 Games has been circular, the shapes of the Winter Games have been considerably more varied. The Winter Games medals are also generally larger, thicker, and
Higher-order logic Higher-order logic In mathematics and logic, a higher-order logic is a form of predicate logic that is distinguished from first-order logic by additional quantifiers and, sometimes, stronger semantics. Higher-order logics with their standard semantics are more expressive, but their model-theoretic properties are less well-behaved than those of first-order logic. The term "higher-order logic", abbreviated as HOL, is commonly used to mean higher-order simple predicate logic. Here "simple" indicates that the underlying type theory is simple, not polymorphic or dependent. First-order logic quantifies only variables that range over individuals; second-order logic, in addition, also quantifies over sets; third-order logic also quantifies