Text this: Nonpositive curvature