Text this: Nonsmooth equations in optimization :