olemus
matemaatilises loogikas: liik muutuja tõendväärtusi
= a specific value substituted into an existential statement

ülevaateid
https://en.wikipedia.org/wiki/Witness_(mathematics)
https://mathworld.wolfram.com/Witness.html