Assume you've selected by maximum Z Then if Zmin > Z'max the surfaces do not overlap (minimax test)
Problem?: naive order S S' S'', correct order S' S'', S