ABSTRACT
We are almost ready to introduce proofs which are the culmination of our presentation of inference. There is one technical piece in the puzzle that is missing and that is the concept of witness which we explain now. This concept is crucial for our treatment of quantifiers in proofs.
