--- a/text/tqftreview.tex	Mon May 31 17:27:17 2010 -0700
+++ b/text/tqftreview.tex	Mon May 31 23:42:37 2010 -0700
@@ -30,14 +30,20 @@
 Before finishing the definition of fields, we give two motivating examples
 (actually, families of examples) of systems of fields.
 
-The first examples: Fix a target space $B$, and let $\cC(X)$ be the set of continuous maps
+\begin{example}
+\label{ex:maps-to-a-space(fields)}
+Fix a target space $B$, and let $\cC(X)$ be the set of continuous maps
 from X to $B$.
+\end{example}
 
-The second examples: Fix an $n$-category $C$, and let $\cC(X)$ be 
+\begin{example}
+\label{ex:traditional-n-categories(fields)}
+Fix an $n$-category $C$, and let $\cC(X)$ be 
 the set of sub-cell-complexes of $X$ with codimension-$j$ cells labeled by
 $j$-morphisms of $C$.
 One can think of such sub-cell-complexes as dual to pasting diagrams for $C$.
 This is described in more detail below.
+\end{example}
 
 Now for the rest of the definition of system of fields.
 \begin{enumerate}
@@ -262,8 +268,23 @@
 
 \subsection{Local relations}
 \label{sec:local-relations}
+Local relations are certain subspaces of the fields on balls, which form an ideal under gluing. Again, we give the examples first.
 
+\addtocounter{prop}{-2}
+\begin{example}[contd.]
+For maps into spaces, $U(B; c)$ is generated by fields of the form $a-b \in \lf(B; c)$,
+where $a$ and $b$ are maps (fields) which are homotopic rel boundary.
+\end{example}
 
+\begin{example}[contd.]
+For $n$-category pictures, $U(B; c)$ is equal to the kernel of the evaluation map
+$\lf(B; c) \to \mor(c', c'')$, where $(c', c'')$ is some (any) division of $c$ into
+domain and range.
+\end{example}
+
+These motivate the following definition.
+
+\begin{defn}
 A {\it local relation} is a collection subspaces $U(B; c) \sub \lf(B; c)$,
 for all $n$-manifolds $B$ which are
 homeomorphic to the standard $n$-ball and all $c \in \cC(\bd B)$, 
@@ -277,17 +298,9 @@
 \item ideal with respect to gluing:
 if $B = B' \cup B''$, $x\in U(B')$, and $c\in \cC(B'')$, then $x\bullet r \in U(B)$
 \end{enumerate}
-See \cite{kw:tqft} for details.
-
-
-For maps into spaces, $U(B; c)$ is generated by things of the form $a-b \in \lf(B; c)$,
-where $a$ and $b$ are maps (fields) which are homotopic rel boundary.
+\end{defn}
+See \cite{kw:tqft} for further details.
 
-For $n$-category pictures, $U(B; c)$ is equal to the kernel of the evaluation map
-$\lf(B; c) \to \mor(c', c'')$, where $(c', c'')$ is some (any) division of $c$ into
-domain and range.
-
-\nn{maybe examples of local relations before general def?}
 
 \subsection{Constructing a TQFT}
 \label{sec:constructing-a-tqft}