Add section 7.4