Figure 5: Operations are repeated until either we decide the graph has a cycle or we have no nodes left.