Corresponding objects must be of the same type.
Example
An object of the Message end event type, which generates a message, must be handled by an object of the Message start event type, which receives the message.
To avoid any inconsistencies, the modeler must observe constructs such as those shown in the example above.