code: function(not, primitive){
          // NOT(5) U 5
          if( set.isEqual( not.value, primitive) ) {
              return set.UNIVERSAL;
          }
          // NOT(4) U 6
          else {
              throw new Error("Not,Identity Union is not filled out");
          }
      }
docs: not 5 and not 6