--- a/blob to-do Tue May 10 14:30:23 2011 -0700
+++ b/blob to-do Wed May 11 14:20:10 2011 -0700
@@ -70,3 +70,5 @@
* lemma [inject 6.3.5?] assumes more splittablity than the axioms imply (?)
+* consider putting conditions for enriched n-cat all in one place
+