Positive example: Usage of message flows only on correct nodes