Consider this trio of propositions:
1. '~(∃x)(x = Venus)' is possibly true.
2. Existential Generalization warrants the inference of '(∃y)~(∃x)(x = y)' from '~(∃x)(x = Venus).'
3. '(∃y)~(∃x)(x = y)' is logically self-contradictory, hence necessarily false.
Solve the triad, either by showing that the limbs are (collectively) logically consistent or by rejecting one or more of the limbs.