Convex checking stage two.