Add Existence Documentation

Some bibliography, introductory chapters, ...