add contents to defense.tex