some formatting changes in formalism.tex