┌─────┐ ┌───┐ │alice│ │bob│ └──┬──┘ └─┬─┘ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ │ │ │ msg │ │──────────────>│ │ │ │red │ │───> │ ┌──┴──┐ ┌─┴─┐ │alice│ │bob│ └─────┘ └───┘