--- a/text/deligne.tex	Fri Jun 25 09:48:24 2010 -0700
+++ b/text/deligne.tex	Sat Jun 26 16:31:28 2010 -0700
@@ -206,8 +206,8 @@
 The main result of this section is that this chain map extends to the full singular
 chain complex $C_*(FG^n_{\ol{M}\ol{N}})$.
 
-\begin{prop}
-\label{prop:deligne}
+\begin{thm}
+\label{thm:deligne}
 There is a collection of chain maps
 \[
 	C_*(FG^n_{\overline{M}, \overline{N}})\otimes \hom(\bc_*(M_1), \bc_*(N_1))\otimes\cdots\otimes 
@@ -216,7 +216,7 @@
 which satisfy the operad compatibility conditions.
 On $C_0(FG^n_{\ol{M}\ol{N}})$ this agrees with the chain map $p$ defined above.
 When $k=0$, this coincides with the $C_*(\Homeo(M_0\to N_0))$ action of Section \ref{sec:evaluation}.
-\end{prop}
+\end{thm}
 
 If, in analogy to Hochschild cochains, we define elements of $\hom(M, N)$
 to be ``blob cochains", we can summarize the above proposition by saying that the $n$-FG operad acts on