A witness whose existence is asserted separately for each input. The witness need not be the same element for different inputs, so this condition is weaker than existence of a uniform witness.
New to topics? Read the docs here!
New to topics? Read the docs here!