--- a/blob1.tex	Tue Oct 28 01:19:24 2008 +0000
+++ b/blob1.tex	Wed Oct 29 05:02:14 2008 +0000
@@ -1438,7 +1438,7 @@
 Let $C_*(X, k)$ denote the singular chain complex of the space $X$ with coefficients in $k$.
 
 \begin{prop} \label{sympowerprop}
-$\bc_*(M^n, k[t])$ is homotopy equivalent to $C_*(\Sigma^\infty(M), k)$.
+$\bc_*(M, k[t])$ is homotopy equivalent to $C_*(\Sigma^\infty(M), k)$.
 \end{prop}
 
 \begin{proof}
@@ -1552,7 +1552,7 @@
 A proof similar to that of \ref{sympowerprop} shows that
 
 \begin{prop}
-$\bc_*(M^n, k[t_1, \ldots, t_m])$ is homotopy equivalent to $C_*(\Sigma_m^\infty(M), k)$.
+$\bc_*(M, k[t_1, \ldots, t_m])$ is homotopy equivalent to $C_*(\Sigma_m^\infty(M), k)$.
 \end{prop}
 
 According to \nn{Loday, 3.2.2},
@@ -1569,9 +1569,20 @@
 
 \nn{say something about cyclic homology in this case?  probably not necessary.}
 
+\medskip
 
+Next we consider the case $C = k[t]/t^l$ --- polynomials in $t$ with $t^l = 0$.
+Define $\Delta_l \sub \Sigma^\infty(M)$ to be those configurations of points with $l$ or
+more points coinciding.
 
+\begin{prop}
+$\bc_*(M, k[t]/t^l)$ is homotopy equivalent to $C_*(\Sigma^\infty(M), \Delta_l, k)$
+(relative singular chains with coefficients in $k$).
+\end{prop}
 
+\begin{proof}
+\nn{...}
+\end{proof}
 
 \nn{...}