Updated Section 5.4