https://123dok.net/document/q054rw5l-graph-cycles-and-diagram-commutativity.html