diff --git a/thesis.tex b/thesis.tex
index 1ba918d..7170184 100644
--- a/thesis.tex
+++ b/thesis.tex
@@ -216,9 +216,9 @@ convenience. As we shall see in Chapter~\ref{ch:unary-handlers}
 fine-grain call-by-value is a convenient formalism for working with
 continuations. Another point of difference between \CoreLinks{} and
 \BCalc{} is that the former models the integrated database query
-sublanguage of \Links{}. We discard the query sublanguage altogether,
-and instead focus entirely on the interaction with computational
-effects.
+sublanguage of \Links{}. We do not consider the query sublanguage at
+all, and instead our focus is entirely on modelling the interaction
+and programming with computational effects.
 
 \section{Syntax and static semantics}
 \label{sec:syntax-base-language}