diff -r 853376c08d76 -r ef36cdefb130 text/basic_properties.tex
--- a/text/basic_properties.tex	Sun Jun 27 12:28:06 2010 -0700
+++ b/text/basic_properties.tex	Sun Jun 27 12:53:11 2010 -0700
@@ -87,9 +87,9 @@
 $r$ be the restriction of $b$ to $X\setminus S$.
 Note that $S$ is a disjoint union of balls.
 Assign to $b$ the acyclic (in positive degrees) subcomplex $T(b) \deq r\bullet\bc_*(S)$.
-note that if a diagram $b'$ is part of $\bd b$ then $T(B') \sub T(b)$.
+Note that if a diagram $b'$ is part of $\bd b$ then $T(B') \sub T(b)$.
 Both $f$ and the identity are compatible with $T$ (in the sense of acyclic models), 
-so $f$ and the identity map are homotopic.
+so $f$ and the identity map are homotopic. \nn{We should actually have a section with a definition of `compatible' and this statement as a lemma}
 \end{proof}
 
 For the next proposition we will temporarily restore $n$-manifold boundary