Separate constraint generalization of numerical equations out of convex hull because the latter is insufficient.