Let us say that a derivation D "converges" if it yields a legitimate SD [...] Thus, we assume that a derivation converges if it converges at PF and at LF; convergence is determined by independent inspection of the interface levels. - Chomsky (1995), a pag.171