changed Preliminaries to section* in formal.tex
changed Preliminaries to section* in formal.tex