Added hypotheses and completely re-organized the document structure