... to lock down these valid/invalid forms so I ... at the end of the "valid" section I saw this, ... In order to deduce a valid inference, the existential quantifiers need ... some C. But it's valid. Also form #7, A →B, ... quantifier first but are nonetheless valid. I know I'm ...