Page 13-13, Figure 13-4, Label Evaluation Process for Write Access with COMPACCESS Privilege and Inverse Groups: This flow diagram illustrates the criteria that must be satisfied to gain write access with inverse groups. Failing any criterion prohibits access. Criteria: 1. The data level must be less than or equal to the user level. 2. The data level must be greater than or equal to the user minimum level. 3. If the user has groups, then the data must have all the groups that are in the user label or the data must have compartments. 4. If the data has groups, then the user's max_write groups must be a superset of the data label or the data must have compartments. 5. If the data has compartments, then the user must have all those compartments with write access. Failing any of these criteria causes denial of access. In all other conditions, access is granted.