x AND -x