--- 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.