Uniform witness
= Uniform witness
{title2=$\exists y\forall x\,R(x,y)$}
One element that satisfies a relation simultaneously for every quantified input. A uniform witness also proves the corresponding pointwise statement, because it may be chosen for each particular input.