diff --git a/thesis.tex b/thesis.tex
index 0258c81..cd3f3fe 100644
--- a/thesis.tex
+++ b/thesis.tex
@@ -1898,7 +1898,7 @@ notation that makes every facet of control flow and data flow
 explicit. In CPS every function takes an additional function-argument
 called the \emph{continuation}, which represents the next computation
 in evaluation position. CPS is canonical in the sense that is
-definable in pure $\lambda$-calculus with any primitives. As an
+definable in pure $\lambda$-calculus without any primitives. As an
 informal illustration of CPS consider the rudimentary factorial
 function in \emph{direct-style}:
 %