03:44duration 3 minutes 44 seconds
CL - Lecture 3e - Constructing a Counterexample
In the last video, we showed a rule is sound…