+---+     +---+
| A | ~~> | B |
+---+     +---+
