Spell-Out strips away from Σ those elements relevant only to π, leaving the residue Σ(L), which is mapped to λ by operation of the kind using to form Σ. We call [...] the subsystem that continues the computation from Σ(L) to LF the "covert component". - Chomsky (1995), a pag.229