1 

     1 

     2 ====== big ======

     2 ====== big ======

     3 

     5 

     4 * 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

     6 * 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

     5 

     7 

     6 * probably should go through and refer to new splitting axiom when we need to choose refinements etc.

     8 * probably should go through and refer to new splitting axiom when we need to choose refinements etc.

     7 

     9