Finished theory manual.