https://123dok.net/document/z3d4386d-behavior-depth-functions-cover-ideals-unimodular-hypergraphs.html