This is a brief survey of the theory of metric spaces of nonpositive curvature. Various rigidity results (mostly) due to Kleiner, Leeb, Brin, and the author are discussed in detail.