Added Coreq edges