code: public void remove(int from, int to) throws ContradictionException {
  		gV.removeArc(from, to, this);
  		if (firstPropag) {
  			g.removeEdge(from, to);
  		}
  	}
docs: ***********************************************************************************