--- a/blob to-do	Fri Jun 24 06:39:25 2011 -0700
+++ b/blob to-do	Fri Jun 24 21:41:48 2011 -0700
@@ -5,15 +5,11 @@
 
 * probably should go through and refer to new splitting axiom when we need to choose refinements etc.
 
-* Boundary of colimit -- not so easy to see!
-
 
 * framings and duality -- work out what's going on! (alternatively, vague-ify current statement)
 
 * make sure we are clear that boundary = germ (perhaps we are already clear enough)
 
-* maybe say something in colimit section about restriction to submanifolds and submanifolds of boundary (we use this in n-cat axioms)
-
 
 
 ====== minor/optional ======