Started circ-circ intersection impl
unfinished circ-circ intersection
Completed circ-circ intersection impl