An expression (an SD) is a Subjacency violation if its derivation forms a starred trace.- Chomsky (1995), a pag.91