Adeed a line to sec. 3 per review 2.
Cleaned up punctuation around thms and removed the wyvern cite, which we can hopefully add back in.