---

-   ++   DISJONCTAT

---

-   ++   DISJONCTA   +T