https://5dok.org/document/1y921evz-refined-causal-graphs-component-sizes-closed-graph-classes.html