... to lock down these valid/invalid forms so I can continue ... In order to deduce a valid inference, the existential quantifiers need ... C. But it's valid. Also form #7, A →B, A ... some C, therefore, B some C. AND, ... that's throwing me off and I feel like it ...