This test fails if any source figure has non-zero intersection area with the figures associated the expression. The expression must evaluate false at every point of every source figure. This is illustrated in Figure 15.3, for no Region and an expression consisting of a single layer.