Text this: Active Manifolds, Stratifications, and Convergence to Local Minima in Nonsmooth Optimization.