up to 3.4.1 in the book