[…] we may replace the compound movement-deletion by a single movement operation, which leaves the empty category [NP "e"] as its trace [...] The operation "T", then consists of an adjunction rule moving the NP subject and leaving trace, and a rule of "there"-insertion placing "there" in the vacated trace position, which retains its NP category throughout.
- Chomsky (1993), Pag. 86