Text this: A streaming, certificate-based reduction for convex hull preservation in planar point sets.