Figure 16 The region \(R\) is \(y\)-simple.