We assume, then, that at some point in the (uniform) computation to LF, there is an operation Spell-Out that applies to the structure Σ already formed. Spell-Out stripes away from Σ those elements relevant only to π.- Chomsky (1995), a pag.229