Demo to Check Correctness Before Next Slide

Demonstration to check correctness before proceeding.

By Werner Pries