convexity
not defined yet