The problem has been reduced to finding the intersection of the red and green chains.
next