-x\notin N