Assertion check