So far we imposed only loose restrictions on the ingredients of the generation grammar G F , and a faithful implementation of the grammar definition may create categories and rules that are either useless or redundant.
the depicted LFG derivation and the context-free derivation are also related by the construction of the second half of the proof.