Finding a point satisfying a sum of smooth and non-smooth monotone operators, generalizing convex optimization.