Universal Constraints

Universal Constraints are constraints over the Primary state which must be satisfied irrespective of the status of the Primary state.

They are shown as a rounded box in the top left corner of the diagram:

In our use case we want to make sure that the buyer and seller are different parties, and that it is only the buyer and seller that are proposing and consenting to agreements.