Text this: Geometric control and nonsmooth analysis :