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