diff -r 4d2dad357a49 -r c9f41c18a96f text/blobdef.tex
--- a/text/blobdef.tex	Tue Sep 21 07:37:41 2010 -0700
+++ b/text/blobdef.tex	Tue Sep 21 14:44:17 2010 -0700
@@ -67,13 +67,11 @@
 just erasing the blob from the picture
 (but keeping the blob label $u$).
 
-\nn{it seems rather strange to make this a theorem} 
-\nn{it's a theorem because it's stated in the introduction, and I wanted everything there to have numbers that pointed into the paper --S}
 Note that directly from the definition we have
-\begin{thm}
+\begin{prop}
 \label{thm:skein-modules}
 The skein module $A(X)$ is naturally isomorphic to $\bc_0(X)/\bd(\bc_1(X))) = H_0(\bc_*(X))$.
-\end{thm}
+\end{prop}
 This also establishes the second 
 half of Property \ref{property:contractibility}.
 
@@ -292,7 +290,6 @@
 and $s:C \to \cF(B_i)$ is some fixed section of $e$.)
 
 For lack of a better name, 
-\nn{can we think of a better name?}
 we'll call elements of $P$ cone-product polyhedra, 
 and say that blob diagrams have the structure of a cone-product set (analogous to simplicial set).
 \end{remark}