https://1library.org/document/z11m08dz-combinatorial-study-soundness-normalization-n-graphs.html