I have restructured the section on pure models and the HM theorem.
The file hmtheorem.tex is now short and contains material that should
be moved somewhere else.