An object that serves to demonstrate the truth of a quantified formula, e.g., the object $a$ witnesses the truth of a sentence $\exists x\phi \left(x\right)$ if $a$ satisfies $\phi \left(x\right)$.