more informative assertions