... existential quantifier preceding a universal is Valid argument form ... quantifier that precedes the universal B->C. Take ... many, few, most), examples of universal (all, none, every).
... idea of existential preceding universal quantifiers. This won't ...