Assertion 4.1