flipQuantifier :: Quantifier -> Quantifier
flipQuantifier (QForall x) = QExists x
flipQuantifier :: Quantifier -> Quantifier
flipQuantifier (QForall x) = QExists x
flipQuantifier (QForall x) = QExists x