Having fun with recursion, pattern matching, and logical equivalence.