relaxed-dependency-analysis.md

@@ -112,7 +112,7 @@ with:
 > A binding *b<sub>1</sub>**depends* on a binding *b<sub>2</sub>* if either
 
 > >
-> > 1) *b<sub>1</sub>* uses a variable *x* that has no type signature and is defined by *b<sub>2</sub>*, or
+> > 1) *b<sub>1</sub>* contains a free identifier that has no type signature and is bound by *b<sub>2</sub>*, or
 
 > >
 > > 2) *b<sub>1</sub>* depends on a binding that depends on *b<sub>2</sub>*.