Complete lecture note #4 is now online.
We will finish the last few pages on next Monday night and move on
to the next topic: SAT-based verification.