[…] "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), a pag.153