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