 In this case the set of knowledge elements is limited to a set of witnesses of some language in NP.Let formula_1 be a statement of language formula_2 in NP, and formula_3 the set of witnesses for x that should be accepted in the proof.This allows us to define the following relation