Move around and fix some small errors with Section 4

(it's the requirements section)