1: \begin{abstract} {If $F$ is a finitely generated free group

2: and $\phi$ is a positive automorphism of $F$

3: then  $F\rtimes_\phi\mathbb Z$

4: satisfies a quadratic isoperimetric inequality.} 

5: \end{abstract}