--- a/text/ncat.tex Fri May 06 16:52:59 2011 -0700
+++ b/text/ncat.tex Fri May 06 16:54:18 2011 -0700
@@ -128,8 +128,8 @@
along with the data described in the other axioms for smaller values of $k$.
Of course, Lemma \ref{lem:spheres}, as stated, is satisfied by the trivial functor.
-What we really mean is that there is exists a functor which interacts with other data of $\cC$ as specified
-in the other axioms below.
+What we really mean is that there exists a functor which interacts with the other data of $\cC$ as specified
+in the axioms below.
\begin{axiom}[Boundaries]\label{nca-boundary}