This example has a new home. Tag Concurrence Graph.