--- a/text/ncat.tex Fri Jun 04 17:00:18 2010 -0700
+++ b/text/ncat.tex Fri Jun 04 17:15:53 2010 -0700
@@ -316,7 +316,6 @@
\[
(a\times D')\bullet(a\times D'') = a\times (D'\bullet D'') .
\]
-\nn{if pinched boundary, then remove first case above}
\item
Product morphisms are associative:
\[