Assertion 1.5