Infos
-   ++   PRESUPPOSERIONS
-   ++   PRESUPPOSERONS   +I
-   ++   SUPERPOSERIONS   +P