Assertion 8.3