Added metatext and finished verification
Changed system to scheme
Fixed introductory text
Appended the appendix