R \notin R => R \in R