Subsection 5.3, finished.