Added support for negations...reverse arcs pending