Assertion

7