Infos
-   ++   DISJONCTAI
-   ++   DISJONCTA   +I