--- a/text/blobdef.tex	Thu Mar 18 19:40:46 2010 +0000
+++ b/text/blobdef.tex	Sat Mar 27 03:07:45 2010 +0000
@@ -59,7 +59,7 @@
 (but keeping the blob label $u$).
 
 Note that the skein space $A(X)$
-is naturally isomorphic to $\bc_0(X)/\bd(\bc_1(X))) = H_0(\bc_*(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 half of Property \ref{property:contractibility}.
 
 $\bc_2(X)$ is, roughly, the space of all relations (redundancies, syzygies) among the 
 local relations encoded in $\bc_1(X)$.