Proper proximality in non-positive curvature Read more about Proper proximality in non-positive curvature