  We prove that if a countable group is elementarily equivalent to a
non-abelian free group and all of its abelian subgroups are cyclic, then the
group is a union of a chain of regular NTQ groups (i.e., hyperbolic towers).
