Assertion 1.1.3