work it down to wedge-elim