Put the HM theorem stuff into a separate section.