Before revision: In mathematical logic, a witness is a specific value t to be substituted for variable x of an existential statement of the form ∃x φ(x) such that φ(t) is true.
After revision: In mathematical logic, a witness is a specific value t to be substituted for variable x of an existential statement of the form such that is rue.