?

4. Witness values instantiation

An important skill is to figure out witness values, when proving existantial quantification for example. The student figures these values out by analysing the propositions in which they occur.