One is the graph of goals, and the edges are product dependencies