Completes 9.3.2.
Completes 9.3.3.