The free group has the dimensional order property

We prove that the common theory of nonabelian free groups has the dimensional order property, or DOP, implying, for example, that there is no reasonable structure theorem for ${\mathrm{\aleph }}_1$-saturated models of this theory.