understood. For instance: • procedure encapsulation, to be discussed below, involves searching for (strictly-constrained) maps consisting solely of ProcedureinstanceNodes. • to enhance goal achievement, it is likely useful to search for trigger-constrained maps trig- gered by Goal Nodes. What the MapEncapsulation CIA