               +---+
               | C |
               +---+
                 ^
                 +----+
                      |
+---++---+     +---+  |
| A || B | --> | U |  |
+---++---+     +---+  |
  |    |              |
  |    +----+---------+
  |         |
  |         |
  +---------+
