The PartOverlap test signals a violation if any source figure is either completely covered or completely uncovered by the figures associated with the expression. This is illustrated in Figure 15.5, for no Region and an expression consisting of a single layer.