x \in y \land x \notin y
