Assertion 8.3.1