modified library.tex