Pausing briefly at section 9.3