diff -r 7552a9ffbe80 -r 870d6fac5420 text/appendixes/comparing_defs.tex
--- a/text/appendixes/comparing_defs.tex	Fri Jul 15 14:48:43 2011 -0700
+++ b/text/appendixes/comparing_defs.tex	Fri Jul 15 15:03:22 2011 -0700
@@ -13,8 +13,7 @@
 One must then show that the axioms of \S\ref{ss:n-cat-def} imply the traditional $n$-category axioms.
 One should also show that composing the two arrows (between traditional and disk-like $n$-categories)
 yields the appropriate sort of equivalence on each side.
-Since we haven't given a definition for functors between disk-like $n$-categories
-(the paper is already too long!), we do not pursue this here.
+Since we haven't given a definition for functors between disk-like $n$-categories, we do not pursue this here.
 
 We emphasize that we are just sketching some of the main ideas in this appendix ---
 it falls well short of proving the definitions are equivalent.