** Future prophetic gifts to all God ’ s people, and the safety of God ’ s people in the face of cosmic cataclysm.

** The Future of an Illusion –

** Trust Us, We're Experts: How Industry Manipulates Science and Gambles With Your Future ( 2001 )

** The World Commission on Environment and Development, also known as the Brundtland Commission, publishes its report, Our Common Future.

** Future U. S. President James K. Polk becomes Speaker of the House

** The Convention on the Future of Europe finishes its work and proposes the first European Constitution.

** FlashForward ( 2010 ): On the show Future Shock ( FlashForward ) at the end has " Happy New Year 2015 " on a sign in a montage in the second blackout.

** Future GPX Cyber Formula ( 1991 ): Hayato Kazami becomes the youngest driver ever in Cyber formula with Sugo Grand Prix.

** The Simpsons episode " Bart to the Future " ( 2000 )

** Phil of the Future episode: The Giggle — Keely is seen twice as a beautiful news reporter and then as an overweight woman who is obsessed with cats.

** Dark Future ( 1988 ) – A revised and expanded version of Battlecars, also by Games Workshop.

** EPR Communication: Signals from the Future?

** Yad Vashem: Preserving the Past to Ensure the Future

** Flight of the Conchords for The Distant Future

** Future Man & Victor Lemonte Wooten ( composers ) for " Almost 12 " performed by Bela Fleck & the Flecktones

** Future Law ( 1985 )

** David McClintick ( notes writer ) for Trilogy: Past, Present and Future performed by Frank Sinatra

** Future: The Autoroute Bonaventure will be completely reconfigured in the coming years.

** Future: There are plans to connect both segments-extending the eastern segment to Trois-Pistoles and eventually connecting with the Rimouski bypass.

** Future: There are long-term plans to extend A-25 all the way to Route 347 in Notre-Dame-de-la-Merci which would double its length to 100 km.

** Future: Construction is ongoing.

** Future: A-35 will be extended to finish the freeway link to I-89 via some new alignments and upgrading of certain expressway sections of Route 133.

** Future: A-50 will be completed between the western side of Hull's downtown to A-15 and Route 117 at Mirabel, closing the remaining 55 km gap in the freeway between Thurso and Grenville.

** Future: Autoroute 70 will be extended from Jonquière to Alma, and eastward from Chicoutimi to La Baie

** Eunectes murinus, the green anaconda, the largest species, is found east of the Andes in Colombia, Venezuela, the Guianas, Ecuador, Peru, Bolivia, Brazil and on the island of Trinidad.

** Eunectes notaeus, the yellow anaconda, a smaller species, is found in eastern Bolivia, southern Brazil, Paraguay and northeastern Argentina.

** Eunectes deschauenseei, the dark-spotted anaconda, is a rare species found in northeastern Brazil and coastal French Guiana.

** Eunectes beniensis, the Bolivian anaconda, the most recently defined species, is found in the Departments of Beni and Pando in Bolivia.

** Tarski's theorem: For every infinite set A, there is a bijective map between the sets A and A × A.

** The Cartesian product of any family of nonempty sets is nonempty.

** König's theorem: Colloquially, the sum of a sequence of cardinals is strictly less than the product of a sequence of larger cardinals.

** Hausdorff maximal principle: In any partially ordered set, every totally ordered subset is contained in a maximal totally ordered subset.

** For every non-empty set S there is a binary operation defined on S that makes it a group.

** Tychonoff's theorem stating that every product of compact topological spaces is compact.

** In the product topology, the closure of a product of subsets is equal to the product of the closures.

** If S is a set of sentences of first-order logic and B is a consistent subset of S, then B is included in a set that is maximal among consistent subsets of S. The special case where S is the set of all first-order sentences in a given signature is weaker, equivalent to the Boolean prime ideal theorem ; see the section " Weaker forms " below.

** Any union of countably many countable sets is itself countable.

** If the set A is infinite, then there exists an injection from the natural numbers N to A ( see Dedekind infinite ).

** Every infinite game in which is a Borel subset of Baire space is determined.

** The Vitali theorem on the existence of non-measurable sets which states that there is a subset of the real numbers that is not Lebesgue measurable.

** The Lebesgue measure of a countable disjoint union of measurable sets is equal to the sum of the measures of the individual sets.

** The Nielsen – Schreier theorem, that every subgroup of a free group is free.