add statements.tex