Reformatting formal.tex...