Making Preliminaries unnumbered, as requested in #128