AxP(x)=>P(x)?