--- a/text/comm_alg.tex	Wed Aug 26 01:21:59 2009 +0000
+++ b/text/comm_alg.tex	Wed Aug 26 02:35:24 2009 +0000
@@ -5,6 +5,12 @@
 \nn{this should probably not be a section by itself.  i'm just trying to write down the outline 
 while it's still fresh in my mind.}
 
+\nn{I strongly suspect that [blob complex
+for $M^n$ based on comm alg $C$ thought of as an $n$-category]
+is homotopy equivalent to [higher Hochschild complex for $M^n$ with coefficients in $C$].
+(Thomas Tradler's idea.)
+Should prove (or at least conjecture) that here.}
+
 If $C$ is a commutative algebra it
 can (and will) also be thought of as an $n$-category whose $j$-morphisms are trivial for
 $j<n$ and whose $n$-morphisms are $C$.