renamed an assertion function