make formal.tex "run".  Now someone should check all the macros used in it
and replace those that have corresponding macros in macros.tex -- especially
the ones I'm renaming now
add "make all" as a target