1: \begin{abstract}

2: We show that certain classes of graphs of free groups contain surface subgroups, including

3: groups with positive $b_2$ obtained by doubling free groups along collections of subgroups,

4: and groups obtained by ``random'' ascending HNN extensions of free groups. A special

5: case is the HNN extension associated to the endomorphism of a rank 2 free group 

6: sending $a$ to $ab$ and $b$ to $ba$; this example (and the random examples) answer in

7: the negative well-known questions of Sapir. We further show that the unit ball in the Gromov

8: norm (in dimension 2) of a double of a free group along a collection of subgroups is a finite-sided

9: rational polyhedron, and that every rational class is virtually represented by an extremal surface

10: subgroup. These results are obtained by a mixture of combinatorial,

11: geometric, and linear programming techniques. 

12: \end{abstract}

13: