— ∪ — ∪ | — ∪ — ∪ || — ∪— ∪ | — ∪ X ∧