1: \begin{abstract}

2: In this paper, we construct an infinite presentation of the Torelli subgroup of the mapping

3: class group of a surface whose generators consist of the set of

4: all ``separating twists'', all ``bounding pair maps'', and

5: all ``commutators of simply intersecting pairs'' and whose relations all come from

6: a short list of topological configurations of these generators on the surface.  Aside from a few obvious ones, all of

7: these relations come from a set of embeddings of groups derived from surface groups into

8: the Torelli group.  In the process of analyzing these embeddings, we derive a novel

9: presentation for the fundamental group of a closed surface whose generating set is the

10: set of {\em all} simple closed curves.  

11: \end{abstract}

12: