https://5dok.org/document/wq2v87jy-reasoning-with-alternative-acyclic-directed-mixed-graphs.html