... valid inference, the existential quantifiers need to precede the universal one." I ... C, therefore, B some C. AND, form #8, A →B, A ... . All of these have the universal quantifier first but are nonetheless ... that's throwing me off and I feel like it would ...