--- a/blob to-do	Fri Oct 14 08:35:15 2011 -0700
+++ b/blob to-do	Sat Oct 22 13:26:53 2011 -0600
@@ -1,10 +1,6 @@
 
 ====== big ======
 
-* double-check for mentions of TOP
-
-* (maybe) say somewhere what's missing for TOP
-
 * need to change module axioms to follow changes in n-cat axioms; search for and destroy all the "Homeo_\bd"'s, add a v-cone axiom
 
 * probably should go through and refer to new splitting axiom when we need to choose refinements etc.