diff --git a/Advanced/Lambda Calculus/parts/00 intro.tex b/Advanced/Lambda Calculus/parts/00 intro.tex
index eb136b1..ec718c6 100755
--- a/Advanced/Lambda Calculus/parts/00 intro.tex	
+++ b/Advanced/Lambda Calculus/parts/00 intro.tex	
@@ -172,7 +172,7 @@ $I = \lm a.a = \lm b.b = \lm \heartsuit . \heartsuit = ...$
 
 \generic{$\alpha$-Conversion:}
 
-Variables inside functions are \say{scoped.} We must take care to keep separate variable separate.
+Variables inside functions are \say{scoped.} We must take care to keep separate variables separate.
 
 For example, take the functions \\
 $A = \lm a b . a$ \\