through section 9.3.2