diff --git a/IntroQuantification.tex b/IntroQuantification.tex
index 25f06e6..e857a92 100644
--- a/IntroQuantification.tex
+++ b/IntroQuantification.tex
@@ -117,7 +117,7 @@
 \begin{exercise}
 Consider the proposition ``If $\epsilon >0$, then there exists $N\in\mathbb{N}$ such that $1/N<\epsilon$."  Assume the universe of discourse is the set $\mathbb{R}$.
 \begin{enumerate}[label=\textrm{(\alph*)}]
-\item Express the statement logical symbols.   Is the statement true?
+\item Express the statement in logical symbols. Is the statement true?
 \item Reverse the order of the quantifiers to get a new statement. Does the meaning change?  If so, how?  Is the new statement true?
 \end{enumerate}
 \end{exercise}
diff --git a/IntroToProof.pdf b/IntroToProof.pdf
index 6fb50e9..41a23d3 100644
Binary files a/IntroToProof.pdf and b/IntroToProof.pdf differ