Exercises from the book Software Foundations