Stav dette: Convex analysis for optimization.