The formula names.
Make EMIT-XHTML a macro.

Makes things simpler.