New typo/grammar pass on the theory section.