examples of negating the quantified expressions