¬?x(xeA?xeB) -||- Vx(xeA ^ ¬(xeB))