$$P\in P \iff
P\in P \rightarrow P\not\in P$$