[…] a theory that I will call "Theory I". In this theory we assume that sentences have the S-structure […] including trace and PRO.- Chomsky (1993), a pag.90