addition of formal.tex
addition of formal.tex