--- a/text/ncat.tex	Mon Jul 12 17:29:25 2010 -0600
+++ b/text/ncat.tex	Wed Jul 14 11:06:11 2010 -0600
@@ -619,7 +619,7 @@
 \]
 These action maps are required to be associative up to homotopy
 \nn{iterated homotopy?}, and also compatible with composition (gluing) in the sense that
-a diagram like the one in Proposition \ref{CHprop} commutes.
+a diagram like the one in Theorem \ref{thm:CH} commutes.
 \nn{repeat diagram here?}
 \nn{restate this with $\Homeo(X\to X')$?  what about boundary fixing property?}
 \end{axiom}
@@ -1371,9 +1371,9 @@
 \]
 Here $C_*$ means singular chains and $\Homeo_\bd(M)$ is the space of homeomorphisms of $M$
 which fix $\bd M$.
-These action maps are required to be associative up to homotopy, 
+These action maps are required to be associative up to homotopy, as in Theorem \ref{thm:CH-associativity}, 
 and also compatible with composition (gluing) in the sense that
-a diagram like the one in Proposition \ref{CHprop} commutes.
+a diagram like the one in Theorem \ref{thm:CH} commutes.
 \end{module-axiom}
 
 As with the $n$-category version of the above axiom, we should also have families of collar maps act.