numerous fixes, unnumbered headings, soelim preprocessing