This book provides a taster for using symbolic analysis, graph theory, and set-oriented methods in a quest to understand ...