--- a/text/ncat.tex Thu Aug 11 22:14:11 2011 -0600
+++ b/text/ncat.tex Fri Aug 12 10:00:59 2011 -0600
@@ -1001,6 +1001,8 @@
In the $n$-category axioms above we have intermingled data and properties for expository reasons.
Here's a summary of the definition which segregates the data from the properties.
+We also remind the reader of the inductive nature of the definition: All the data for $k{-}1$-morphisms must be in place
+before we can describe the data for $k$-morphisms.
A disk-like $n$-category consists of the following data:
\begin{itemize}