testing non-convex