when do quantifiers require implication

http://math.stackexchange.com/questions/1487910/why-cant-we-use-implication-for-the-existential-quantifier