E and R contain arcs, implemented adding to E and R