--- a/blob to-do	Thu Jun 16 08:51:40 2011 -0600
+++ b/blob to-do	Thu Jun 16 11:11:41 2011 -0600
@@ -31,6 +31,8 @@
 * consider proving the gluing formula for higher codimension manifolds with
 morita equivalence
 
+* 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.
+
 
 
 * SCOTT will go through appendix C.2 and make it better