Assertion 6.1