1: \begin{abstract}

2: We prove that the first order theory of non abelian free groups  

3: eliminates the $\exists^{\infty}$-quantifier (in $eq$). Equivalently, since the theory of non abelian free groups is stable, 

4: it does not have the finite cover property.

5: 

6: We extend our results to torsion-free hyperbolic groups under some conditions.

7: \end{abstract}

8: