Assertion Definition