Assertion 6.2.1