In the final part of our correctness proof we now prove the completeness of the deduction system in Figure 5.
we show the following stronger statement: For every derivation tree and for every derivation context with a signature I satisfying the arity bounds for items of Figure 5, the deduction system infers the corresponding item I .