Things I'm trying to work out.
We have a graph: We sort this graph topologically into a one-dimensional sequence: A, B, C, D...
