\neg (\exists A)(\forall S) \equiv (\forall A)(\exists S)