[…] "strong binding": a variable must have a range determined by its restricted quantifier (language permitting no unrestricted quantification, as distinct from typical formal systems) or a value fixed by an antecedent that meets certain structural properties.
- Chomsky (1995), Pag. 153