Assertion function