... same as the negation. Never forget that. The negation changes the meaning ... 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 ...