... forget that. The negation changes the meaning of your statement; the contrapositive's ... keep meaning the same. The negation is one step in taking ... need one counterexample. Hence, the negation you are looking for is ... world in two, so the negation of X some ~Y is X ...