sentences:  This article is about the Borel conjecture in geometric topology.Let formula_1 and formula_2 be closed and aspherical topological manifolds, and let
  
  be a homotopy equivalence.The Borel conjecture states that the map formula_4 is homotopic to a homeomorphism.