Theory documentation drafts