Some bits for exercise 2.4
Solutions for exercise 2.5