1: \begin{abstract}

2: 	Let $\F$ be a finitely generated non-abelian free group and $Q$ a finite quotient. Denote by $\LQ$ the language obtained by adding unary predicates $\{P_{q}\}_{q\in Q}$ to the language of groups.

3: 	

4: 	By generalizing some of the techniques involved in Zlil Sela's solution to Tarski's question on the elementary theory of non-abelian free groups, we provide a few basic results on the validity of first order sentences in the $\LQ$-expansion of $\F$ in which every $P_{q}$ is interpreted as the preimage of $q$ in $\F$.

5: 	

6: 	In particular, we prove an analogous result to Sela's generalization of Merzlyakov's theorem for $\forall\exists$-sentence and show that the positive theory of such a structure depends only on $Q$ and not on the rank of $\F$ nor the particular quotient map.

7: \end{abstract}

8: