--- a/blob to-do	Thu Jun 16 11:11:41 2011 -0600
+++ b/blob to-do	Fri Jun 17 12:01:43 2011 -0600
@@ -4,8 +4,6 @@
 
 * Consider moving A_\infty stuff to a subsection
 
-* consider putting conditions for enriched n-cat all in one place
-
 * Peter's suggestion for A_inf definition
 
 * Boundary of colimit -- not so easy to see!
@@ -33,6 +31,8 @@
 
 * 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?
+
 
 
 * SCOTT will go through appendix C.2 and make it better