W Thurston 1976 (Fields 1982) 8-geometries 3-manifold; modern Mostow-rigidity + hyperbolic + Klein lemma + WP-foliation.