Witness

A specific object that satisfies an existential claim, for example, a concrete value $t$ for $\exists x.,P(x)$ such that $P(t)$ holds.