Lower_convex_envelope loading ...