diff --git a/thesis.tex b/thesis.tex
index 744aa7d..1f199dd 100644
--- a/thesis.tex
+++ b/thesis.tex
@@ -14855,7 +14855,7 @@ on.
 Thus, effect handlers are expressive enough to implement a wide
 variety of other programming abstractions.
 %
-We may wonder about the exact nature of this expressiveness, i.e. does
+We may wonder about the exact nature of this expressiveness, i.e. do
 effect handlers exhibit any \emph{essential} expressivity?
 
 % In today's programming languages we find a wealth of powerful