a more informative assert