defense: defense.tex added