In some cases (such as a Trace Abstraction) the assignment of direction (that is, the designation of the client element) is at the discretion of the modeler, and is a stipulation.

This content is for DEMONSTRATION
This content area is UNDER CONSTRUCTION or MIGRATION
randomness