  We give a description of $Hom(G,L)$, where $L$ is a limit group (fully
residually free group). We construct a finite diagram of groups,
Makanin-Razborov diagram, that gives a convinient representation of all such
homomorphisms.
