diff -r 57425531f564 -r 6868130229bf blob to-do
--- a/blob to-do	Sat Jun 25 06:44:35 2011 -0700
+++ b/blob to-do	Sat Jun 25 06:52:04 2011 -0700
@@ -1,6 +1,8 @@
 
 ====== big ======
 
+* need to fix fam-o-homeo argument per discussion with Rob
+
 * 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.