https://123dok.net/document/z3d3729e-trace-complexity.html