convexity_check
