Assertion 1.3