Solutions to the exercises