at section 8.2.4