---

Illustration by Geoff Draper. This cartoon also appears in the book Computation Engineering: Applied Automata Theory and Logic.

---