Lessons in Logic 12: The Counterexample Method