[...] who [t was killed t'] [...] The trace t' is an anaphor lacking Case; let us say that it is "antecedent-bound" by the variable t.- Chomsky (1993), a pag.183