Vey) takes every real value. With John N. Mather, he gave a proof that the cohomology of the group of homeomorphisms of a manifold is the same whether the group is considered with its discrete topology or its compact-open topology. In fact, Thurston resolved so many outstanding problems in foliation theory in such a short period of time that it led to an exodus from the field, where advisors counselled students against going into foliation theory, because Thurston was "cleaning out the subject" (see "On Proof and Progress in Mathematics", especially section 6). The geometrization conjecture His later work, starting around the mid-1970s, revealed that hyperbolic geometry played a far more important role in the general theory of 3-manifolds than was previously realised. Prior to Thurston, there were only a handful of known examples of hyperbolic 3-manifolds of finite volume, such as the Seifert–Weber space. The independent and distinct approaches of Robert Riley and Troels Jørgensen in the mid-to-late 1970s showed that such examples were less atypical than previously believed; in particular their work showed that the figure-eight knot complement was hyperbolic. This was the first example of a hyperbolic knot. Inspired by their work, Thurston took a different, more explicit means of exhibiting the hyperbolic structure of the figure-eight knot complement. He showed that the figure-eight knot complement could be decomposed as the union of two regular ideal hyperbolic tetrahedra whose hyperbolic structures matched up correctly and gave the hyperbolic structure on the figure-eight knot complement. By utilizing Haken's normal surface techniques, he classified the incompressible surfaces in the knot complement. Together with his analysis of deformations of hyperbolic structures, he concluded that all but 10 Dehn surgeries on the figure-eight knot resulted in irreducible, non-Haken non-Seifert-fibered 3-manifolds. These were the first such examples; previously it had been believed that except for certain Seifert fiber spaces, all irreducible 3-manifolds were Haken. These examples were actually hyperbolic and motivated his next theorem. Thurston proved that in fact most Dehn fillings on a cusped hyperbolic 3-manifold resulted in hyperbolic 3-manifolds. This is his celebrated hyperbolic Dehn surgery theorem. To complete the picture, Thurston proved a hyperbolization theorem for Haken manifolds. A particularly important corollary is that many knots and links are in fact hyperbolic. Together with his hyperbolic Dehn surgery theorem, this showed that closed hyperbolic 3-manifolds existed in great abundance. The hyperbolization theorem for Haken manifolds has been called Thurston's