---

-   ++   AXIOMATISERENT

---

-   ++   ATOMISERAIENT   +X