Wrote draft of section on complexity classes. Fixed styling for definitions. Started bib file.