diff --git a/Advanced/Definable Sets/parts/2 quantifiers.tex b/Advanced/Definable Sets/parts/2 quantifiers.tex
index 01af858..8d0362d 100644
--- a/Advanced/Definable Sets/parts/2 quantifiers.tex	
+++ b/Advanced/Definable Sets/parts/2 quantifiers.tex	
@@ -20,7 +20,7 @@ In English, this means \say{For any $x$, $x$ is bigger than zero,} or simply \sa
 
 \vspace{3mm}
 
-$\exists$ is very similar: the formula $\exists x ~ \varphi(x)$ is true if ther is at least one $x$ for which $\varphi(x)$ is true. \par
+$\exists$ is very similar: the formula $\exists x ~ \varphi(x)$ is true if there is at least one $x$ for which $\varphi(x)$ is true. \par
 For example, $\exists ~ (0 < x)$ means \say{there is a positive number in our set.}
 
 \vspace{4mm}