Added drafts of the preamble and definitions list