--- a/text/deligne.tex Tue Jul 13 12:47:58 2010 -0600
+++ b/text/deligne.tex Wed Jul 14 11:06:20 2010 -0600
@@ -227,7 +227,7 @@
\begin{proof}
As described above, $FG^n_{\overline{M}, \overline{N}}$ is equal to the disjoint
union of products of homeomorphism spaces, modulo some relations.
-By Proposition \ref{CHprop} and the Eilenberg-Zilber theorem, we have for each such product $P$
+By Theorem \ref{thm:CH} and the Eilenberg-Zilber theorem, we have for each such product $P$
a chain map
\[
C_*(P)\otimes \hom(\bc_*(M_1), \bc_*(N_1))\otimes\cdots\otimes