new assertion function