Writing the negation of quantified statements