These are exercises from the book