Assertion 1.7