complete, simply-connected Riemannian manifold with nonpositive sectional curvature everywhere