Homotopy equivalent to a point.