Assertion 1.4