1: \begin{abstract}

2: Lehnert and Schweitzer show in \cite{lehnschweitz1}

3: that R. Thompson's group $V$ is a co-context-free 

4: (\cocf) group, thus implying that all of its finitely generated

5: subgroups are also \cocf groups.

6: Also, Lehnert shows in his thesis that $V$ embeds inside 

7: the \cocf group $\mathrm{QAut}(\mathcal{T}_{2,c})$, which is a group of particular bijections on the vertices of an infinite binary $2$-edge-colored tree, and he conjectures that $\mathrm{QAut}(\mathcal{T}_{2,c})$

8: is a universal \cocf group. We show that $\mathrm{QAut}(\mathcal{T}_{2,c})$ embeds into $V$, and thus obtain a new form for Lehnert's conjecture.

9: Following up on these ideas, we begin work to build a representation theory into R. Thompson's group $V$.  In particular we classify precisely which Baumslag-Solitar groups

10: embed into $V$.

11: %Moreover, we show that surface group embed

12: %into $V$, therefore providing a new class of examples of \cocf groups.

13: \end{abstract}

14: