--- a/text/appendixes/moam.tex	Thu Jul 29 21:44:49 2010 -0400
+++ b/text/appendixes/moam.tex	Thu Jul 29 22:44:21 2010 -0400
@@ -14,7 +14,7 @@
 Let $\Compat(D^\bullet_*)$ denote the subcomplex of maps from $F_*$ to $G_*$
 such that the image of each higher homotopy applied to $x_{kj}$ lies in $D^{kj}_*$.
 
-\begin{thm}[Acyclic models]
+\begin{thm}[Acyclic models]  \label{moam-thm}
 Suppose 
 \begin{itemize}
 \item $D^{k-1,l}_* \sub D^{kj}_*$ whenever $x_{k-1,l}$ occurs in $\bd x_{kj}$

--- a/text/comm_alg.tex	Thu Jul 29 21:44:49 2010 -0400
+++ b/text/comm_alg.tex	Thu Jul 29 22:44:21 2010 -0400
@@ -31,24 +31,9 @@
 \end{prop}
 
 \begin{proof}
-%To define the chain maps between the two complexes we will use the following lemma:
-%
-%\begin{lemma}
-%Let $A_*$ and $B_*$ be chain complexes, and assume $A_*$ is equipped with
-%a basis (e.g.\ blob diagrams or singular simplices).
-%For each basis element $c \in A_*$ assume given a contractible subcomplex $R(c)_* \sub B_*$
-%such that $R(c')_* \sub R(c)_*$ whenever $c'$ is a basis element which is part of $\bd c$.
-%Then the complex of chain maps (and (iterated) homotopies) $f:A_*\to B_*$ such that
-%$f(c) \in R(c)_*$ for all $c$ is contractible (and in particular non-empty).
-%\end{lemma}
-%
-%\begin{proof}
-%\nn{easy, but should probably write the details eventually}
-%\nn{this is just the standard ``method of acyclic models" set up, so we should just give a reference for that}
-%\end{proof}
-We will use acyclic models \nn{need ref}.
+We will use acyclic models (\S \ref{sec:moam}).
 Our first task: For each blob diagram $b$ define a subcomplex $R(b)_* \sub C_*(\Sigma^\infty(M))$
-satisfying the conditions of \nn{need ref}.
+satisfying the conditions of Theorem \ref{moam-thm}.
 If $b$ is a 0-blob diagram, then it is just a $k[t]$ field on $M$, which is a 
 finite unordered collection of points of $M$ with multiplicities, which is
 a point in $\Sigma^\infty(M)$.
@@ -63,12 +48,12 @@
 Define $R(B, u, r)_*$ to be the singular chain complex of $X$, thought of as a 
 subspace of $\Sigma^\infty(M)$.
 It is easy to see that $R(\cdot)_*$ satisfies the condition on boundaries from 
-\nn{need ref, or state condition}.
+Theorem \ref{moam-thm}.
 Thus we have defined (up to homotopy) a map from 
-$\bc_*(M^n, k[t])$ to $C_*(\Sigma^\infty(M))$.
+$\bc_*(M, k[t])$ to $C_*(\Sigma^\infty(M))$.
 
 Next we define, for each simplex $c$ of $C_*(\Sigma^\infty(M))$, a contractible subspace
-$R(c)_* \sub \bc_*(M^n, k[t])$.
+$R(c)_* \sub \bc_*(M, k[t])$.
 If $c$ is a 0-simplex we use the identification of the fields $\cC(M)$ and 
 $\Sigma^\infty(M)$ described above.
 Now let $c$ be an $i$-simplex of $\Sigma^j(M)$.
@@ -80,7 +65,7 @@
 \nn{do we need to define this precisely?}
 Choose a neighborhood $D$ of $T$ which is a disjoint union of balls of small diameter.
 \nn{need to say more precisely how small}
-Define $R(c)_*$ to be $\bc_*(D, k[t]) \sub \bc_*(M^n, k[t])$.
+Define $R(c)_*$ to be $\bc_*(D; k[t]) \sub \bc_*(M; k[t])$.
 This is contractible by Proposition \ref{bcontract}.
 We can arrange that the boundary/inclusion condition is satisfied if we start with
 low-dimensional simplices and work our way up.