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