Added notion of message sequence and interaction id