"Generalized ECP": If α is an empty category, then (i) α is PRO if and only if it is ungoverned; (ii) α is trace if and only if it is properly governed; (iii) α is a variable only if it is Case-marked.- Chomsky (1993), a pag.274-275