more informative assertion