Done prior to Section 6.2.2