correction of formal.tex
formal.tex