https://123dok.net/document/y6ej1m4z-the-structure-of-first-order-causality-extended-version.html