+---+
| a |
+---+
  |
  |
  v
+---+
| b |
+---+