Figure 2-4 Specifying the open clause