p \in P