--- a/blob to-do	Mon Sep 26 16:40:49 2011 -0600
+++ b/blob to-do	Mon Oct 03 16:40:16 2011 -0700
@@ -11,13 +11,21 @@
 * 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.
-** in the proof that gluing in dimension < n is injective
+**** in the proof that gluing in dimension < n is injective
+
+* revisit splitting axiom for system of fields; check use of it in small blobs lemma
 
 * 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)
 
 
+* places splitting axiom is used:
+** in the proof that gluing in dimension < n is injective
+** in the proof that D(a) is acyclic
+** in the small blobs lemma
+
+
 
 ====== minor/optional ======