Concrete Abstractions Book Exercises