I guess cycle detection is necessary in both graph...