--- a/text/blobdef.tex	Fri Jun 25 09:48:24 2010 -0700
+++ b/text/blobdef.tex	Sat Jun 26 16:31:28 2010 -0700
@@ -58,7 +58,7 @@
 
 Note that the skein space $A(X)$
 is naturally isomorphic to $\bc_0(X)/\bd(\bc_1(X))) = H_0(\bc_*(X))$.
-This is Property \ref{property:skein-modules}, and also used in the second 
+This is Theorem \ref{thm:skein-modules}, and also used in the second 
 half of Property \ref{property:contractibility}.
 
 Next, we want the vector space $\bc_2(X)$ to capture `the space of all relations