Variable-binding relates variables to the operators that bind them, perhaps through the medium of a trace.- Chomsky (1993), a pag.184