Quantified Statements And Their Negation