Implemented most of Section 7.