--- a/text/ncat.tex	Wed Sep 15 13:30:15 2010 -0500
+++ b/text/ncat.tex	Wed Sep 15 13:33:14 2010 -0500
@@ -1093,8 +1093,7 @@
 \end{itemize}
 In other words, we have a zig-zag of equivalences starting at $a$ and ending at $\hat{a}$.
 The idea of the proof is to produce a similar zig-zag where everything antirefines to the same
-disjoint union of balls, and then invoke the associativity axiom \ref{nca-assoc}.
-\nn{hmmm... it would be nicer if this were ``7.xx" instead of ``4"}
+disjoint union of balls, and then invoke Axiom \ref{nca-assoc} which ensures associativity.
 
 Let $z$ be a decomposition of $W$ which is in general position with respect to all of the 
 $x_i$'s and $v_i$'s.