https://123dok.net/document/qo57ggjy-props-of-graphs-and-generalised-traces.html