Proof Writing & Problem Solving · Easy problem

There is an $x$ with $P(x)$.

Every $x$ has $P(x)$.

There is an $x$ with $P(x)$, and every $y$ with $P(y)$ equals $x$.

There are $x \ne y$ with $P(x)$ and $P(y)$.