Add matter on results.
Add matter on summary.
Various fixes all around the thesis.
Add the appendix.
Separate the test cases to a different file. Comment out the tests for naive VC.