Finished implementation of Section 7.