-a\in P