mit convexity test