FIGURE 1.
Free Choice Point Containment