--- a/blob to-do	Fri Jun 17 12:01:43 2011 -0600
+++ b/blob to-do	Fri Jun 17 12:12:53 2011 -0600
@@ -1,10 +1,8 @@
 
 * lemma [inject  6.3.5?] assumes more splittablity than the axioms imply (?)
 
+* need to change module axioms to follow changes in n-cat axioms; search for and destroy all the "Homeo_\bd"'s
 
-* Consider moving A_\infty stuff to a subsection
-
-* Peter's suggestion for A_inf definition
 
 * Boundary of colimit -- not so easy to see!
 
@@ -31,7 +29,7 @@
 
 * leftover: we used to require that composition of A-infinity n-morphisms was injective (just like lower morphisms).  Should we stick this back in?  I don't think we use it anywhere.
 
-* should we require, for A-inf n-cats, that families which preserve product morphisms act trivially?
+* should we require, for A-inf n-cats, that families which preserve product morphisms act trivially?  as now defined, this is only true up to homotopy for the blob complex, so maybe best not to open that can of worms
 
 
 

--- a/text/intro.tex	Fri Jun 17 12:01:43 2011 -0600
+++ b/text/intro.tex	Fri Jun 17 12:12:53 2011 -0600
@@ -544,9 +544,9 @@
 \subsection{Thanks and acknowledgements}
 % attempting to make this chronological rather than alphabetical
 We'd like to thank 
-Justin Roberts, 
+Justin Roberts (for helpful discussions in the very early stages of this work), 
 Michael Freedman, 
-Peter Teichner, 
+Peter Teichner (for helping us improve an earlier version of the $n$-category definition), 
 David Ben-Zvi, 
 Vaughan Jones, 
 Chris Schommer-Pries,