AxP(x)=>P(x)?
.