1: \begin{abstract}

2: This is one of a series of papers on Lipschitz maps from metric spaces

3: to $L^1$.  Here we present the details of results which were 

4: announced in  \cite[Section 1.8]{ckbv}: a new approach

5: to the infinitesimal structure of Lipschitz maps

6: into $L^1$, and, as a first application,

7: an alternative proof of the main theorem of \cite{ckbv},

8: that the Heisenberg group does not

9: admit a bi-Lipschitz embedding in $L^1$.  The proof 

10: uses the metric differentiation theorem of Pauls \cite{pauls}

11: and the cut metric description in

12: \cite{ckbv} to reduce the nonembedding argument

13: to a classification of monotone subsets of the

14: Heisenberg group.  A quantitative version of this

15: classification argument is used

16: in our forthcoming joint paper with Assaf Naor \cite{ckn}.

17: \end{abstract}

18: