diff -r c24e59300fca -r 682fd0520c66 blob to-do
--- 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
+