[…] if β is not bound, then β is free.
- Chomsky (1995), Pag. 93

[…] b is free with respect to a if either a does not c-command b or the intersection of the indices of a and b is null.
- Chomsky (1995), Pag. 98