[JaumeGreen]

By the way, if the phrase is "X exists and all X are Y" then we wouldn't know if X really existed.

We only would know that either X doesn't exists or, if it exists, not all X are Y.