--- 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