Because there are no circular references in the graph, each time we get here there’ll be at least one step with no remaining dependencies.
Ya que no hay referencias circulares en el grafo, cada vez que llegamos a este punto habrá al menos un paso sin dependencias.