Testing for compactness

There exists no point, p, on S which is an inflection point with an undercut surface above an upward-facing surface.