--- a/blob_changes_v3	Fri Jun 24 06:39:25 2011 -0700
+++ b/blob_changes_v3	Fri Jun 24 21:41:48 2011 -0700
@@ -30,8 +30,4 @@
 - added n-cat axiom for existence of splittings
 - added transversality requirement to product morphism axiom
 - added remarks on Morita equivalence for n-categories
-
-
-
-INCOMPLETE:
 - rewrote definition of colimit (in "From Balls to Manifolds" subsection) to allow for more general decompositions; also added more details