--- 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 ======