It seems that a linguistic expression of L cannot be defined just as a pair (π, λ) formed by a convergent derivation. Rather, its derivation must be "optimal", satisfying certain economy conditions: locality of movement, no "superfluous steps" in derivations, and so on. - Chomsky (1995), a pag.220