assertion checking