... trying to lock down these valid/invalid forms so I can continue on ... at the end of the "valid" section I saw this, "In ... order to deduce a valid inference, the existential quantifiers need ... quantifier first but are nonetheless valid. I know I'm missing ...