Positive example: Consistent incoming and outgoing behavior of message flows