inserted into book.tex