$$
\forall a\exists b.(P(a)\wedge P(b))\to P(a)
$$