the uniqueness isn't really a requirement, just a statement of structure. The real requirement is more that the use of a key in relation to an agent, activity, or agent-activity(-registration) combination (this should be added) MUST NOT interact at all with the use of the key with another agent, activity, or agent-activity(-registration) combination.