--- 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}$