Infos
-   ++   DISJONCTIONS
-   ++   DISJONCTONS   +I
-   ++   DISJONCTION   +S