Assertion, condition check