assertion_function