[…] a trace is "visible" in the LF-component only if it has Case, one way of dealing with the idea that variables are in effect Case-marked traces.- Chomsky (1993), a pag.296