--- 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:
 \[