1 Getting Started with Karp, by Example