--- a/text/hochschild.tex	Thu Mar 11 23:20:25 2010 +0000
+++ b/text/hochschild.tex	Tue Mar 16 14:11:07 2010 +0000
@@ -191,9 +191,12 @@
 boundaries contain *, on both the right and left of *.
 
 We claim that $J_*$ is homotopy equivalent to $\bc_*(S^1)$.
-Let $F_*^\ep \sub \bc_*(S^1)$ be the subcomplex where there there are no labeled
-points within distance $\ep$ of * on the right.
-(This includes * itself.)
+Let $F_*^\ep \sub \bc_*(S^1)$ be the subcomplex where either
+(a) the point * is not the left boundary of any blob or
+(b) there are no labeled points to the right of * within distance $\ep$.
+Note that all blob diagrams are in $F_*^\ep$ for $\ep$ sufficiently small.
+
+
 \nn{...}