Thesis: more intro, implementation, experiments.