x\not\in G_n