  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 $\aleph_1$-saturated models of this theory.
