In this video, we give an example of a formal deduction based on our definition in the previous video.
No download links available.
