HOL (proof assistant) (current) Ministry of Climate and Energy (Denmark) Calgary and Edmonton Trail U.S. State Groupe Banque Populaire Candombe Interferon beta Booton Common Three Men and a Cradle Dongo language (Nilo-Saharan) Márok 1957 Mysore State Legislative Assembly election Death Note Straguth Button, Button (The Twilight Zone) Newfoundland and Labrador Route 434 Shortbread Compertrix