Can anyone help with the following:

Express in words the meaning of ∃xP(x) ∧ ∀x∀y ((P(x) ∧ P(y)) → (x = y))

Here is what I came up with:

For some P(x), and for every x and y, if P(x) and P(y), then x=y.

But this doesn't make too much sense to me.