--- a/blob_changes_v3	Sun Jun 19 17:07:48 2011 -0600
+++ b/blob_changes_v3	Sun Jun 19 17:31:34 2011 -0600
@@ -28,6 +28,7 @@
 - extended the lemmas of Appendix B (about adapting families of homeomorphisms to open covers) to the topological category
 - modified families-of-homeomorphisms-action axiom for A-infinity n-categories, and added discussion of alternatives
 - added n-cat axiom for existence of splittings
+- added transversality requirement to product morphism axiom