Displaying interleaving processes works
Subgraphs