... "In order to deduce a valid inference, the existential quantifiers ... form #6 is A → B, B → C, therefore, B some C. But ... A →B, A some C, therefore, B some C. AND, form #8, A →B, A most C, therefore B ... could pinpoint it. Probably a dumb question, but if ...