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