... to lock down these valid/invalid forms so I can continue ... 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 ... first but are nonetheless valid. I know I'm ...